Theorem Finset.univ_of_card_le_two

Modification history