Add en2eleq to iset.mm
Add en2eleq to iset.mm

The set.mm proof basically works. At least currently, fisseneq has to be
replaced by en2eqpr but that is straightforward.

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