OAI/Probability/SKBarriers/Scalar/TerminalPerturbation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.primitivePerturbation line 15
2. def OAI.SK.Analytic.scalarParameterTerminal line 18
3. theorem OAI.SK.Analytic.hierarchyPressure_scalarParameterTerminal line 21
4. theorem OAI.SK.Analytic.primitivePerturbation_regular line 45
5. theorem OAI.SK.Analytic.primitivePerturbation_lipschitz line 51
6. theorem OAI.SK.Analytic.primitiveParameterTerminal_regular line 60
7. theorem OAI.SK.Analytic.primitiveParameterTerminal_rootGradient line 71
8. theorem OAI.SK.Analytic.primitiveParameterTerminal_rootHessian line 90