Theorem Finset.expect_le

Modification history