Add elmapex to iset.mm
Add elmapex to iset.mm

The theorem is stated as in set.mm. The proof is in terms of elmpt2cl
to replace one in set.mm which uses excluded middle.

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