Theorem Multiset.count_eq_one_of_mem

Modification history