OAI/MathematicalPhysics/Transonic/Profile/ExteriorBranch.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SepticProfile.SonicShooting.ExteriorBranch line 11
2. lemma OAI.SepticProfile.SonicShooting.MatchedPair.exists_exteriorBranch line 27
3. def OAI.SepticProfile.SonicShooting.ExteriorBranch.beginning line 38
4. def OAI.SepticProfile.SonicShooting.ExteriorBranch.endpoint line 39
5. def OAI.SepticProfile.SonicShooting.ExteriorBranch.velocity line 40
6. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.normalized_range line 42
7. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.beginning_bounds line 46
8. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.endpoint_bounds line 55
9. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.start_value line 59
10. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.velocity_derivative line 76