OAI/Geometry/WeakHessian/LocalBounds/HalfTime.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakHessian.halfTime line 44
2. def OAI.WeakHessian.rightTime line 45
3. lemma OAI.WeakHessian.joinCurve_halfTime line 46
4. lemma OAI.WeakHessian.joinCurve_rightTime line 52
5. lemma OAI.WeakHessian.kineticAction_join line 58
6. lemma OAI.WeakHessian.exists_join_plan line 79