Remove fnsnsplit from iset.mm
Remove fnsnsplit from iset.mm

Although it should be possible to prove subset rather than
equality (using difsnss instead of difsnid ), this theorem is
lightly used in set.mm.

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