Add m1expo to iset.mm
Add m1expo to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one but changes not equal to apart in one place.

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