Theorem Multiset.zero_disjoint

Modification history