OAI/Probability/SphericalField/Poisson/Campbell.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.finitePointMeasure_lintegral line 16
2. lemma OAI.SphericalPerceptron.finitePoissonLaw_campbell line 21
3. lemma OAI.SphericalPerceptron.countablePoissonLaw_campbell line 38
4. lemma OAI.SphericalPerceptron.poissonRandomMeasureLaw_campbell line 51
5. lemma OAI.SphericalPerceptron.ae_ne_top_of_laplace_tendsto line 57
6. lemma OAI.SphericalPerceptron.poissonRandomMeasureLaw_lintegral_ne_top line 96
7. lemma OAI.SphericalPerceptron.stableLogIntensity_min_exp_finite line 135
8. lemma OAI.SphericalPerceptron.stablePoisson_total_finite line 167
9. lemma OAI.SphericalPerceptron.stableLogIntensity_univ line 173