OAI/Geometry/IsometricImmersion/Curvature/
186 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- AffineConnection.lean 6 declarations
- AffineCurvature.lean 8 declarations
- CurvatureFirstBounds.lean 7 declarations
- CurvatureLowerTube.lean 17 declarations
- CurvatureParameter.lean 14 declarations
- CurvatureParameterJets.lean 4 declarations
- DiskCurvatureProfiles.lean 16 declarations
- GaussConnection.lean 4 declarations
- GaussEquation.lean 10 declarations
- GaussFormula.lean 3 declarations
- InitialCurvature.lean 21 declarations
- IntrinsicCurvature.lean 12 declarations
- MetricCurvatureJet.lean 16 declarations
- NegativeCurvatureHeight.lean 3 declarations
- PatchCurvatureProfiles.lean 34 declarations
- PrescribedCurvature.lean 11 declarations