Remove fpar from iset.mm
Remove fpar from iset.mm

This includes fparlem1 , fparlem2 , fparlem3 , and fparlem4 .

Although a very quick look makes it seem possibly intuitionizable,
it is unused in set.mm.

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