Theorem Finset.sum_card_slice_div_choose_le_one

Modification history