Remove fresaun from iset.mm
Remove fresaun from iset.mm

The current proof relies on resasplit which we don't have.
fresaun is lightly used in set.mm, so there is no hurry.

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