Theorem Multiset.disjoint_cons_right

Modification history