OAI/Probability/SKGap/Gaussian/GaussianTiltMass.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.gaussian_tilt_mass line 36
2. theorem OAI.SKGap.gaussian_covered_laplace line 44
3. theorem OAI.SKGap.gaussian_compact_laplace line 96
4. lemma OAI.SKGap.absorb_finite_exponential_factor line 123
5. theorem OAI.SKGap.gaussian_compact_rate line 141