OAI/Geometry/WeakHessian/Curvature/
29 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- DecayWeight.lean 5 declarations
- Doubling.lean 1 declarations
- GammaCurvatureLowerBound.lean 1 declarations
- Nonbranching.lean 22 declarations