Add zeo2 to iset.mm
Add zeo2 to iset.mm

The proof is similar to set.mm except for changing not equal to apart
and rearranging the logic in a small way to avoid con1d .

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