Intuitionize funfv2 and funfv2f in iset.mm
Intuitionize funfv2 and funfv2f in iset.mm

Add the condition that we are looking at a function value at
an argument within the domain of the function, and accordingly
rename funfv2 to funfvdm2 and funfv2f to funfvdm2f .

metamath/set.mm,metamath/set.mm,metamath/set.mm