OAI/Combinatorics/RamseyFive/Probability/EmptyTestsManySmall.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.PoissonScore.emptyTests_many_small line 16
2. lemma OAI.SharpRamseyFive.PoissonScore.abs_bool_centered line 73
3. lemma OAI.SharpRamseyFive.PoissonScore.bool_product_error line 80
4. def OAI.SharpRamseyFive.PoissonScore.ownScore line 111
5. lemma OAI.SharpRamseyFive.PoissonScore.emptyEvent_split line 114
6. lemma OAI.SharpRamseyFive.PoissonScore.ownScore_error line 126
7. theorem OAI.SharpRamseyFive.PoissonScore.exceptionalScore_error line 142