Theorem Multiset.card_pair

Modification history