Theorem Multiset.card_lt_card

Modification history