Theorem Finset.expect_pow

Modification history