OAI/MathematicalPhysics/Transonic/Shooting/SonicGermEquation.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.SonicShooting.Family.width line 12
2. def OAI.SepticProfile.SonicShooting.Family.germArc line 14
3. lemma OAI.SepticProfile.SonicShooting.Family.width_pos line 16
4. lemma OAI.SepticProfile.SonicShooting.Family.width_small line 18
5. lemma OAI.SepticProfile.SonicShooting.Family.width_eq line 21
6. lemma OAI.SepticProfile.SonicShooting.Family.width_radius line 29
7. lemma OAI.SepticProfile.SonicShooting.Family.germArc_analytic line 33
8. lemma OAI.SepticProfile.SonicShooting.Family.germArc_equation line 37
9. lemma OAI.SepticProfile.SonicShooting.Family.germArc_value line 51
10. lemma OAI.SepticProfile.SonicShooting.Family.germArc_slope line 54
11. lemma OAI.SepticProfile.SonicShooting.Family.germArc_split line 64
12. lemma OAI.SepticProfile.SonicShooting.Family.germArc_positive line 71
13. lemma OAI.SepticProfile.SonicShooting.Family.germArc_below line 76
14. lemma OAI.SepticProfile.SonicShooting.Family.germArc_above line 89