Theorem Multiset.card_sigma

Modification history