Add lcmdvds to iset.mm
Add lcmdvds to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one, but in two places we need to show decidability in order to do case
elimination.

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