OAI/MathematicalPhysics/Transonic/Profile/FiniteRadialProfile.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.SonicShooting.MatchedPair.axisEven line 11
2. def OAI.SepticProfile.SonicShooting.MatchedPair.radial line 14
3. lemma OAI.SepticProfile.SonicShooting.MatchedPair.local_eq_axis line 17
4. lemma OAI.SepticProfile.SonicShooting.MatchedPair.velocity_axis line 23
5. lemma OAI.SepticProfile.SonicShooting.MatchedPair.axisEven_smooth_zero line 35
6. lemma OAI.SepticProfile.SonicShooting.MatchedPair.radial_eventually_axis line 44
7. lemma OAI.SepticProfile.SonicShooting.MatchedPair.radial_smooth_zero line 60
8. lemma OAI.SepticProfile.SonicShooting.PhysicalWidth.radial_smooth line 63
9. lemma OAI.SepticProfile.SonicShooting.MatchedPair.velocity_radial line 78