Remove xpexr from iset.mm
Remove xpexr from iset.mm

The current proof relies on the law of the excluded middle,
it is unlikely that it has an intuitionistic proof, and it is
unused in set.mm

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