OAI/Geometry/ConjugatePoints/
2133 declarations, 0 contain sorry, 0 declared as axioms; 19 files
Files
- Basic.lean 18 declarations
- Cometric.lean 106 declarations
- CompactMetric.lean 196 declarations
- Continuation.lean 46 declarations
- Convexity.lean 63 declarations
- Coordinates.lean 124 declarations
- Curvature.lean 138 declarations
- Distance.lean 69 declarations
- FundamentalGroup.lean 81 declarations
- Geodesics.lean 120 declarations
- Gluing.lean 163 declarations
- Index.lean 94 declarations
- Metric.lean 93 declarations
- Neck.lean 304 declarations
- NoConjugatePoints.lean 75 declarations
- Passages.lean 138 declarations
- Quotient.lean 134 declarations
- Returning.lean 155 declarations
- ThreeManifold.lean 16 declarations