Theorem Multiset.card_eq_card_of_rel

Modification history