OAI/Geometry/IsometricImmersion/Flows/FlowParameterContinuity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SmoothLocal.Flow.continuous_intervalIntegral_of_joint line 12
2. abbrev OAI.SmoothLocal.Flow.CapInterval line 33
3. abbrev OAI.SmoothLocal.Flow.VerticalInterval line 34
4. theorem OAI.SmoothLocal.Flow.verticalAverageDerivative_continuous line 36
5. def OAI.SmoothLocal.Flow.flowAverageCoefficient line 49
6. theorem OAI.SmoothLocal.Flow.flowAverageCoefficient_continuous line 52
7. theorem OAI.SmoothLocal.Flow.flowAverageIntegral_continuous line 79