Fix comments in iset.mm
Fix comments in iset.mm

This is for df-pr , df-op , csbsng , and tpid3g . It is mostly a
matter of removing forward references to theorems we don't have yet.

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