Add elpmi to iset.mm
Add elpmi to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one but needs changes to use elmpt2cl instead of ndmov combined with
excluded middle.

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