Theorem Multiset.count_singleton

Modification history