Fix power set comments in iset.mm
Fix power set comments in iset.mm

This is for df-pw and elpwg and is a matter of removing references
to theorems and syntax which we have not defined yet.

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