Theorem Finset.le_expect_of_subadditive_on_pred

Modification history