Theorem Finset.card_finsupp

Modification history