OAI/Probability/SKBarriers/Scalar/ScalarSusceptibility.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.scalarSpinRoot_curvature line 15
2. theorem OAI.SK.Analytic.scalarSpinRoot_curvature_eq line 24
3. theorem OAI.SK.Analytic.scalarHierarchy_spin_hasDerivAt line 33
4. theorem OAI.SK.Analytic.scalarHierarchy_spin_gradient_hasDerivAt line 38
5. theorem OAI.SK.Analytic.scalarHierarchy_spin_gradient_lipschitz line 44
6. theorem OAI.SK.Analytic.scalarHierarchy_spin_hessian_lipschitz line 58
7. theorem OAI.SK.Analytic.scalarHierarchy_gradient_stability line 70
8. theorem OAI.SK.Analytic.scalarHierarchy_hessian_stability line 85