Add lemuldiv to iset.mm
Add lemuldiv to iset.mm

The statement of the proof is as in set.mm. The proof is adapted
from the set.mm one with not equal changed to apart. It also
uses deduction form more places.

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