Remove fvmptss2 from iset.mm
Remove fvmptss2 from iset.mm

It is basically just fvmpt with some extra cases folded in, in a
way that does not work without case elimination.  Fortunately, it
is lightly used in set.mm.

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