Remove references in iset.mm comments.
Remove references in iset.mm comments.

These are mostly forward references to theorems we haven't
brought over from set.mm, and in any case are all references
to theorems which don't exist in iset.mm.

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