Theorem Finset.expect_eq_zero_iff_of_nonpos

Modification history