Add nn0o to iset.mm
Add nn0o to iset.mm

The theorem is stated as in set.mm. The proof is the same as the set.mm
but with not equal changed to apart in one place.

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