Theorem Multiset.singleton_disjoint

Modification history