Theorem Finset.le_expect_nonempty_of_subadditive_on_pred

Modification history