Theorem Finset.expect_const

Modification history