Add real and imaginary parts to iset.mm
Add real and imaginary parts to iset.mm

This is the section "Real and imaginary parts; conjugate" from
set.mm, copied without change. Follow up changes will be needed
to get it to verify.

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