Add lediv2 to iset.mm
Add lediv2 to iset.mm

The theorem is as stated in set.mm. The proof is similar to the
set.mm one, and mainly just changes not equal to apart.

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