Theorem Finset.expect_nonneg

Modification history