OAI/Geometry/WeakHessian/Sobolev/LocalSobolevLipschitz.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.localSobolev_of_lipschitz line 48
2. lemma OAI.WeakHessian.weakGradient_zero_off_support line 65
3. lemma OAI.WeakHessian.sobolev_of_lipschitz_compactSupport line 76
4. lemma OAI.WeakHessian.Sobolev.mul_exp line 96