OAI/Geometry/WeakHessian/Transport/BridgeError.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.heatBridgeError_nonneg line 20
2. lemma OAI.WeakHessian.heatBridgeError_integrable line 28
3. lemma OAI.WeakHessian.heatBridgeError_le_energy line 48
4. lemma OAI.WeakHessian.heatBridgeError_split line 68
5. lemma OAI.WeakHessian.heatBridgeError_integral_split line 105
6. lemma OAI.WeakHessian.heatBridgeError_integral_le line 133