Intuitionize nominpos in iset.mm
Intuitionize nominpos in iset.mm

The only change needed from the set.mm proof is to change iman
to imanim - the set.mm proof was using the direction of iman
which is valid intuitionistically.

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