Theorem Finset.abs_expect_le

Modification history