Remove euop2 from iset.mm
Remove euop2 from iset.mm

It depends on euxfr2 (which we don't - yet at least - have without
a decidability condition). The only current usage in set.mm is
in dfac5 which we can deal with later.

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