Theorem Multiset.card_range

Modification history