Add lediv12a to iset.mm
Add lediv12a to iset.mm

The statement of the theorem is as in set.mm. The proof is similar
to the set.mm with not equal changed to apart.

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