Theorem Multiset.card_mono

Modification history