Remove neorian from iset.mm
Remove neorian from iset.mm

We could provide a version given decidable equality, but the first
usage in set.mm isn't for a while so we can decide what we want
when we get there.

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