Theorem Finset.expect_neg_distrib

Modification history