Theorem Multiset.count_eq_card

Modification history