OAI/Geometry/WeakHessian/Transport/LocalizedActionBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.localizedActionBound line 16
2. lemma OAI.WeakHessian.localizedHeatM_one_le line 19
3. lemma OAI.WeakHessian.reciprocal_factor_bound line 22
4. lemma OAI.WeakHessian.localizedHeatFactor_reciprocal_bound line 49
5. lemma OAI.WeakHessian.localizedHeatFactor_continuousOn line 72
6. lemma OAI.WeakHessian.localized_action_integral_bound line 85