Remove euclemma references in comments
Remove euclemma references in comments

We won't have this in iset.mm for another few sections, so don't refer
to it.

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