Remove fvmpti and fvmpt2i from iset.mm
Remove fvmpti and fvmpt2i from iset.mm

The case elimination here seems to be the whole point, as fvmptg
and fvmpt2 respectively handle the C e. _V case.

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