OAI/Geometry/WeakHessian/LocalBounds/ContactUniqueness.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.Sobolev.squareLogFloor_local line 23
2. lemma OAI.WeakHessian.gamma_squareLogFloor_sobolev line 30
3. lemma OAI.WeakHessian.squareLogFloor_pairing_tendsto line 47
4. lemma OAI.WeakHessian.IsTestPlan.contact_gamma_integral_eq line 87
5. lemma OAI.WeakHessian.IsTestPlan.contact_entropy_pairing_eq line 99