Remove fveqf1o from iset.mm
Remove fveqf1o from iset.mm

The set.mm proof relies on f1oprswap , which we don't have, and
fveqf1o is lightly used in set.mm.

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