OAI/Geometry/WeakHessian/Geodesics/
78 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- CdLogMidpointBall.lean 4 declarations
- GeodesicPlanSupportedBall.lean 9 declarations
- Join.lean 15 declarations
- LocalMidpoint.lean 2 declarations
- LocalTwoLegLimit.lean 2 declarations
- MidpointDualTests.lean 9 declarations
- MidpointSigmaLower.lean 23 declarations
- SquareControl.lean 7 declarations
- TwoLegEstimate.lean 4 declarations
- TwoLegLimit.lean 3 declarations