Theorem Finset.eq_univ_of_card

Modification history