OAI/Analysis/BiholderTransport/LocalFlow/
52 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CompactFlow.lean 2 declarations
- CotangentFlow.lean 9 declarations
- ForwardChart.lean 2 declarations
- ImplicitODE.lean 8 declarations
- LocalDomainFlow.lean 1 declarations
- LocalMetricNormal.lean 3 declarations
- MIntegralCurveUniformInvariant.lean 4 declarations
- ModelTangentJet.lean 8 declarations
- NormalFlow.lean 1 declarations
- SmoothCoordinateFlow.lean 1 declarations
- SmoothFlowEndpoint.lean 4 declarations
- SmoothIntegralCurve.lean 9 declarations