OAI/Probability/ThorpCompatibility/BinomialBounds.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ThorpCompatibility.sum_finset_card line 10
2. lemma OAI.ThorpCompatibility.choose_poisson_bound line 31
3. lemma OAI.ThorpCompatibility.binomial_large_size_term line 48
4. lemma OAI.ThorpCompatibility.binomial_large_size_sum line 69
5. lemma OAI.ThorpCompatibility.clumpWeight_eq_card line 85
6. lemma OAI.ThorpCompatibility.clump_subset_sum line 93