Theorem Finset.expect_const_zero

Modification history