Add dvdslcm to iset.mm
Add dvdslcm to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one but case elimination is replaced by decidability of integer
equality.

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