OAI/Geometry/WeakHessian/LocalBounds/ExtendLp.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.zeroExtendLp line 47
2. lemma OAI.WeakHessian.zeroExtendLp_ae line 85
3. def OAI.WeakHessian.cutoffChangeLp line 89
4. lemma OAI.WeakHessian.cutoffChangeLp_ae line 95