Theorem Finset.sq_sum_div_le_sum_sq_div

Modification history