Theorem Finset.card_univ

Modification history