OAI/Probability/SKBarriers/Calculus/HessianConvexity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.hessian_nonneg_of_convex line 19
2. theorem OAI.SK.Analytic.coordinateSquare_add_parameterAxis line 40
3. theorem OAI.SK.Analytic.parameterDerivative_coordinateSquare line 49
4. theorem OAI.SK.Analytic.gaussian_convex_tilt_linear_variance line 58