OAI/Geometry/WeakHessian/Geodesics/TwoLegLimit.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.le_at_zero_of_positive line 14
2. lemma OAI.WeakHessian.vanishing_diffusion_two_leg line 20
3. lemma OAI.WeakHessian.midpoint_bound_of_two_leg_approx line 38