Theorem Finset.expect_product

Modification history