OAI/Probability/SKGap/Localization/SumPoissonMass.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGapCutoff.Clock.hasSum_poissonMass line 121
2. lemma OAI.SKGapCutoff.Clock.hasSum_binomialMass line 127
3. lemma OAI.SKGapCutoff.Clock.poisson_density_pointwise line 145
4. lemma OAI.SKGapCutoff.Clock.binomial_density_pointwise line 154
5. theorem OAI.SKGapCutoff.Clock.poisson_density_L1 line 161
6. theorem OAI.SKGapCutoff.Clock.binomial_density_L1 line 184