Theorem Finset.le_expect_nonempty_of_subadditive

Modification history