OAI/Geometry/WeakHessian/Geodesics/LocalTwoLegLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakHessian.vanishing_diffusion_local_two_leg line 16
2. lemma OAI.WeakHessian.midpoint_bound_of_local_two_leg_approx line 44