Remove npss from iset.mm
Remove npss from iset.mm

The propositional logic of the current proof is not intuitionistic,
and the theorem is not used until later in set.mm, so there is
not an urgent need for this one.

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