Theorem Finset.card_sigma

Modification history