OAI/MathematicalPhysics/Transonic/Profile/
187 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- ClampedUniqueness.lean 1 declarations
- Equations.lean 53 declarations
- Existence.lean 1 declarations
- ExteriorBranch.lean 10 declarations
- ExteriorBranchBounds.lean 5 declarations
- ExteriorCoordinates.lean 8 declarations
- ExteriorPhysicalSegment.lean 7 declarations
- ExteriorTail.lean 2 declarations
- FiniteExistence.lean 1 declarations
- FiniteExterior.lean 3 declarations
- FiniteRadialProfile.lean 9 declarations
- FiniteSourceProfile.lean 31 declarations
- GlobalExistence.lean 1 declarations
- GlobalRadialProfile.lean 6 declarations
- GlobalVelocity.lean 11 declarations
- ODEGlueInfinite.lean 4 declarations
- PhysicalBounds.lean 4 declarations
- PhysicalEntry.lean 7 declarations
- PhysicalExterior.lean 6 declarations
- PhysicalGlobal.lean 2 declarations
- PhysicalProfile.lean 4 declarations
- PhysicalWindow.lean 4 declarations
- RationalSmooth.lean 1 declarations
- SourceParameters.lean 4 declarations
- WindowDenominator.lean 2 declarations