Theorem Multiset.lcm_cons

Modification history