OAI/Probability/SKSupport/Support/TerminalCurvature.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.parameter_bound_of_terminal_plateau line 14
2. lemma OAI.ZeroTemperatureSK.finite_terminal_curvature_bound line 27
3. lemma OAI.ZeroTemperatureSK.approxGamma_global_cap line 55
4. lemma OAI.ZeroTemperatureSK.curvature_terminal_bound line 63
5. lemma OAI.ZeroTemperatureSK.gradient_terminal_small line 77