Theorem Finset.lubell_yamamoto_meshalkin_inequality_sum_inv_choose

Modification history