OAI/Probability/SKBarriers/Gaussian/GaussianTiltedCramer.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.HasExpGrowth.neg_real line 15
2. theorem OAI.SK.Analytic.HasExpGrowth.sub_real line 19
3. theorem OAI.SK.Analytic.HasExpGrowth.integrable_gaussianTilt line 23
4. theorem OAI.SK.Analytic.HasExpGrowth.memLp_two_gaussianTilt line 30
5. theorem OAI.SK.Analytic.gaussian_tilted_stein_growth line 37
6. theorem OAI.SK.Analytic.cramer_of_score line 55
7. theorem OAI.SK.Analytic.gaussian_tilted_cramer line 66