Add rest of divides section to iset.mm
Add rest of divides section to iset.mm

Copied without change from set.mm. Follow up changes will be needed to
get it to verify.

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