Theorem Finset.expect_mul_sq_le_sq_mul_sq

Modification history