Intuitionize mnfnre in iset.mm
Intuitionize mnfnre in iset.mm

This is a matter of changing 2pwuninel to 2pwuninelg . Other than
that, the proof is the same as set.mm.

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