OAI/Geometry/WeakHessian/LocalBounds/GammaAddConstLeft.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.gamma_add_const_left line 51
2. lemma OAI.WeakHessian.weakGradient_mul_le_local line 60
3. lemma OAI.WeakHessian.gamma_product_residual line 69
4. lemma OAI.WeakHessian.gamma_mul_left line 104