Theorem Finset.sum_sq_le_sum_mul_sum_of_sq_eq_mul

Modification history