Theorem Multiset.sum_count_eq_card

Modification history