OAI/MathematicalPhysics/Transonic/Phase/SonicLinear.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SepticProfile.GlobalProfile.U_smooth line 11
2. lemma OAI.SepticProfile.GlobalProfile.A_smooth line 16
3. lemma OAI.SepticProfile.GlobalProfile.M0_smooth line 22
4. lemma OAI.SepticProfile.GlobalProfile.principalWeight_smooth line 27
5. lemma OAI.SepticProfile.GlobalProfile.mellinPrincipal_sonic_derivative line 32