OAI/Geometry/IsometricImmersion/Immersions/
125 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- ActualHeight.lean 6 declarations
- ActualShearHeight.lean 7 declarations
- BoundaryNormal.lean 10 declarations
- BoundedHeightClasses.lean 15 declarations
- CompactBoundaryExtremum.lean 2 declarations
- FiniteHeight.lean 3 declarations
- HeightCoefficientClosedBounds.lean 4 declarations
- HeightCoefficientRegularity.lean 5 declarations
- HeightNorm.lean 1 declarations
- HeightNumericParameters.lean 10 declarations
- HeightPFirstBounds.lean 11 declarations
- InducedMetric.lean 6 declarations
- NormalField.lean 15 declarations
- NormalSpace.lean 5 declarations
- OrientedHeightPullback.lean 11 declarations
- RankOne2.lean 3 declarations
- RankOneOrientation.lean 11 declarations