Add lcmmndc to iset.mm
Add lcmmndc to iset.mm

This shows that a proposition which will come up in various lcm related
theorems is decidable. Use it to shorten lcmval and dvdslcm proofs.

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