Add lcmeq0 to iset.mm
Add lcmeq0 to iset.mm

The theorem is stated as in set.mm. The proof is basically the set.mm
one except that we need to show decidability before removing negation
via contraposition.

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