Theorem Multiset.count_singleton_self

Modification history