OAI/Geometry/IsometricImmersion/Flows/
207 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- ActualFlowHighEquation.lean 2 declarations
- CompactParameterIntegral.lean 10 declarations
- ConstructedHeightFlow.lean 5 declarations
- Existence.lean 6 declarations
- FiniteMetricChosenFlow.lean 1 declarations
- FlowBounds.lean 6 declarations
- FlowChart.lean 4 declarations
- FlowCurvature.lean 25 declarations
- FlowExistence.lean 8 declarations
- FlowHeightCoefficients.lean 21 declarations
- FlowImageFirstBounds.lean 2 declarations
- FlowImageMargin.lean 7 declarations
- FlowInverse.lean 3 declarations
- FlowJointSmooth.lean 3 declarations
- FlowLowBounds.lean 9 declarations
- FlowParameter.lean 6 declarations
- FlowParameterContinuity.lean 7 declarations
- FlowSecondVariation.lean 10 declarations
- FlowSobolev.lean 6 declarations
- FlowThirdVariation.lean 10 declarations
- FlowTimeVariation.lean 13 declarations
- FlowTransport.lean 20 declarations
- FlowVariation.lean 5 declarations
- HeightFlowBoundTools.lean 4 declarations
- HeightFlowUniformBounds.lean 7 declarations
- PatchFlowCoercivity.lean 4 declarations
- PicardFamily.lean 1 declarations
- UniformRichPatchFlow.lean 1 declarations
- VaryingMetricChosenFlow.lean 1 declarations