OAI/Geometry/WeakHessian/LocalBounds/FormGamma.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.CurvatureDimension.sobolev_formDomain line 23
2. def OAI.WeakHessian.CurvatureDimension.formGammaLp line 27
3. lemma OAI.WeakHessian.CurvatureDimension.formGammaLp_ae line 55
4. lemma OAI.WeakHessian.CurvatureDimension.formDomain_gradient_norm_sq line 61
5. lemma OAI.WeakHessian.CurvatureDimension.formGammaLp_norm_le line 69