Intuitionize dffun6f in iset.mm
Intuitionize dffun6f in iset.mm

Change it to use mo4 and dffun2 rather than mo2 and dffun3 .
Other than that, the proof is quite similar to the set.mm one.

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