OAI/Combinatorics/RamseyFive/Probability/FailureCount.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SharpRamseyFive.PoissonScore.weighted_moment_tail line 14
2. def OAI.SharpRamseyFive.PoissonScore.failureCount line 37
3. lemma OAI.SharpRamseyFive.PoissonScore.failureCount_bounds line 41
4. lemma OAI.SharpRamseyFive.PoissonScore.integrable_failureCount line 45
5. lemma OAI.SharpRamseyFive.PoissonScore.integral_failureCount line 52
6. theorem OAI.SharpRamseyFive.PoissonScore.failureCount_tail line 65
7. theorem OAI.SharpRamseyFive.PoissonScore.expected_failureCount_le line 76
8. theorem OAI.SharpRamseyFive.PoissonScore.intersect_three_success line 100
9. theorem OAI.SharpRamseyFive.PoissonScore.truncated_moment_tail line 120