OAI/Geometry/WeakHessian/LocalBounds/TriangularFold.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.triangularFold line 48
2. lemma OAI.WeakHessian.triangularFold_lipschitz line 51
3. lemma OAI.WeakHessian.triangularFold_zero line 54
4. lemma OAI.WeakHessian.triangularFold_nonneg line 58
5. lemma OAI.WeakHessian.triangularFold_eq_round line 61
6. lemma OAI.WeakHessian.triangularFold_le line 75
7. lemma OAI.WeakHessian.triangularFold_piecewise line 84