OAI/Probability/SphericalField/Poisson/LogMoments.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.stablePoisson_palm_laplace' line 24
2. lemma OAI.SphericalPerceptron.stablePoisson_palm_mellin_mul line 34
3. lemma OAI.SphericalPerceptron.stablePoissonTotal_rpow_lintegral_mul line 92
4. lemma OAI.SphericalPerceptron.stablePoissonTotal_rpow_integral line 118
5. def OAI.SphericalPerceptron.stableMassKernel line 137
6. instance OAI.SphericalPerceptron.stableMassKernel_finite line 141
7. def OAI.SphericalPerceptron.stableCountKernel line 148
8. instance OAI.SphericalPerceptron.stableCountKernel_sFinite line 151
9. lemma OAI.SphericalPerceptron.stableCountKernel_eq line 154
10. lemma OAI.SphericalPerceptron.stableJumpMomentE_one_add_dirac line 180
11. lemma OAI.SphericalPerceptron.stableCountKernel_add_dirac line 184