Theorem Multiset.singleton_subset

Modification history