Theorem Multiset.disjoint_cons_left

Modification history