Theorem Finset.expect_product'

Modification history