Theorem Multiset.card_finsuppSum

Modification history