OAI/Geometry/WeakHessian/Transport/JoinControl.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessianTransport.joinControl line 36
2. lemma OAI.WeakHessianTransport.measurable_joinControl line 39
3. lemma OAI.WeakHessianTransport.intervalIntegrable_joinControl_left line 45
4. lemma OAI.WeakHessianTransport.intervalIntegrable_joinControl_right line 55
5. lemma OAI.WeakHessianTransport.intervalIntegrable_joinControl line 65
6. lemma OAI.WeakHessianTransport.joinControl_sq line 70
7. lemma OAI.WeakHessianTransport.intervalIntegrable_joinControl_sq line 76
8. lemma OAI.WeakHessianTransport.integral_joinControl_left line 83
9. lemma OAI.WeakHessianTransport.integral_joinControl_right line 96
10. lemma OAI.WeakHessianTransport.integral_joinControl line 108
11. lemma OAI.WeakHessianTransport.integral_joinControl_sq line 116