OAI/Probability/SKBarriers/Gaussian/GaussianStepAlgebra.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.BoundedDerivs.hasExpGrowth line 16
2. theorem OAI.SK.Analytic.gaussianStep_add_prefix line 20
3. theorem OAI.SK.Analytic.gaussianStep_prefix line 36
4. theorem OAI.SK.Analytic.gaussianStep_sum_independent line 43
5. theorem OAI.SK.Analytic.hierarchyPressure_zero line 67
6. theorem OAI.SK.Analytic.hierarchyPressure_sum_independent line 77