Remove fsplit from set.mm
Remove fsplit from set.mm

The current proof was not intuitionistic (at least, the proof
of dfid3 isn't) but perhaps more to the point, fsplit is
unused in set.mm.

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