Theorem Finset.lubell_yamamoto_meshalkin_inequality_sum_card_div_choose

Modification history