Theorem Finset.expect_eq_zero_iff_of_nonneg

Modification history