OAI/Geometry/WeakHessian/Sobolev/SquareSobolev.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.Sobolev.square_bounded line 19
2. lemma OAI.WeakHessian.gamma_square_bounded line 38
3. lemma OAI.WeakHessian.gamma_locality_left line 51
4. lemma OAI.WeakHessian.gamma_zero_off_set line 62