Theorem Finset.expect_mul_expect

Modification history