Add ltexp2a to iset.mm
Add ltexp2a to iset.mm

The statement of the theorem is as in set.mm. The proof is mostly
the same but needs not-equal change to apart one place.

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