Theorem Finset.expect_mul

Modification history