Theorem Finset.card_div_choose_le_card_shadow_div_choose

Modification history