Theorem Multiset.count_eq_card_filter_eq

Modification history