Add en1eqsn to iset.mm
Add en1eqsn to iset.mm

The theorem is stated as in set.mm. The proof is the same as the set.mm
proof except that the steps to prove 1o e. Fin are different.

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