OAI/MathematicalPhysics/Transonic/Shooting/
1812 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- AxisBarriersCore.lean 20 declarations
- AxisFamilyC1.lean 15 declarations
- AxisFamilyContinuation.lean 2 declarations
- AxisFamilyDisk.lean 1 declarations
- AxisFamilyGerm.lean 2 declarations
- AxisFamilySeed.lean 2 declarations
- AxisGermEquation.lean 7 declarations
- ClampedComparison.lean 1 declarations
- ClampedFamily.lean 1 declarations
- ClampedNoReturn.lean 1 declarations
- ContinuousJets.lean 16 declarations
- EndpointSpecialization.lean 15 declarations
- EulerCoordinates.lean 8 declarations
- EulerFamily.lean 4 declarations
- ExteriorGermEntry.lean 2 declarations
- ExteriorSegment.lean 5 declarations
- Family.lean 1 declarations
- FamilyC1.lean 11 declarations
- FamilyQuotient.lean 1 declarations
- FiniteExistence.lean 1 declarations
- FiniteProfile.lean 13 declarations
- FuchsianFamily.lean 2 declarations
- FuchsianParametric.lean 6 declarations
- MatchedAxisJoin.lean 13 declarations
- MatchedExistence.lean 1 declarations
- MatchedInterior.lean 16 declarations
- ODEGlue.lean 5 declarations
- ParametricJets.lean 6 declarations
- RegularFamily.lean 4 declarations
- RegularGlobalControl.lean 59 declarations
- RegularGlobalRange.lean 5 declarations
- RegularHighEndpoint.lean 725 declarations
- RegularHighRange.lean 17 declarations
- RegularLowEndpoint.lean 725 declarations
- RegularLowRange.lean 17 declarations
- ShootingBounds.lean 3 declarations
- ShootingField.lean 5 declarations
- ShootingMatch.lean 8 declarations
- SonicContinuationLink.lean 2 declarations
- SonicGermEquation.lean 14 declarations
- SonicShootingFamily.lean 1 declarations
- SourceFamilyC1.lean 9 declarations
- SourceFamilyDisk.lean 1 declarations
- SourceFamilyEuler.lean 6 declarations
- SourceFamilyEulerSeed.lean 3 declarations
- SourceFamilyGerm.lean 3 declarations
- SourceFamilyJets.lean 21 declarations
- SourceFamilyStrongSeed.lean 2 declarations
- SourceNoReturn.lean 4 declarations