Theorem Finset.card_eq_iff_eq_univ

Modification history