Add dom0 to iset.mm
Add dom0 to iset.mm

The theorem is stated as in set.mm. The set.mm proof is in terms of sbth
so this is a new proof from f00 which fortunately is not difficult.

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