Theorem Multiset.card_add

Modification history