OAI/MathematicalPhysics/Transonic/Shooting/MatchedInterior.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.SonicShooting.MatchedPair.reg line 13
2. def OAI.SepticProfile.SonicShooting.MatchedPair.eul line 14
3. def OAI.SepticProfile.SonicShooting.MatchedPair.middle line 15
4. def OAI.SepticProfile.SonicShooting.MatchedPair.arc line 17
5. lemma OAI.SepticProfile.SonicShooting.normalized_D_pos line 20
6. lemma OAI.SepticProfile.SonicShooting.normalized_field_smooth line 25
7. lemma OAI.SepticProfile.SonicShooting.MatchedPair.reg_range line 34
8. lemma OAI.SepticProfile.SonicShooting.MatchedPair.eul_range line 39
9. lemma OAI.SepticProfile.SonicShooting.MatchedPair.reg_derivative line 44
10. lemma OAI.SepticProfile.SonicShooting.MatchedPair.eul_derivative line 60
11. lemma OAI.SepticProfile.SonicShooting.MatchedPair.axis_range line 73
12. lemma OAI.SepticProfile.SonicShooting.MatchedPair.middle_derivative line 80
13. lemma OAI.SepticProfile.SonicShooting.MatchedPair.middle_range line 89
14. lemma OAI.SepticProfile.SonicShooting.MatchedPair.arc_derivative line 96
15. lemma OAI.SepticProfile.SonicShooting.MatchedPair.arc_range line 107
16. theorem OAI.SepticProfile.SonicShooting.MatchedPair.arc_smooth line 114