Add m1exp1 to iset.mm
Add m1exp1 to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one with not equal changed to apart and case elimination changed to zeo3

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