OAI/Combinatorics/RamseyFive/Probability/SumPoissonPow.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpRamseyFive.PoissonScore.hasSum_poisson_pow line 13
2. lemma OAI.SharpRamseyFive.PoissonScore.integrable_poisson_pow line 25
3. lemma OAI.SharpRamseyFive.PoissonScore.integral_poisson_pow line 31
4. theorem OAI.SharpRamseyFive.PoissonScore.poisson_double_tail line 36
5. def OAI.SharpRamseyFive.PoissonScore.sampleCount line 68
6. lemma OAI.SharpRamseyFive.PoissonScore.hasLaw_sampleCount line 70
7. theorem OAI.SharpRamseyFive.PoissonScore.sampleCount_double_tail line 81