OAI/MathematicalPhysics/Transonic/Phase/Principal.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.GlobalProfile.timeTensor line 11
2. def OAI.SepticProfile.GlobalProfile.mixedTensor line 13
3. def OAI.SepticProfile.GlobalProfile.radialTensor line 15
4. def OAI.SepticProfile.GlobalProfile.mellinPrincipal line 18
5. lemma OAI.SepticProfile.GlobalProfile.M0_power_factor line 21
6. lemma OAI.SepticProfile.GlobalProfile.mellinPrincipal_factor line 26
7. lemma OAI.SepticProfile.GlobalProfile.mellinPrincipal_U line 34
8. lemma OAI.SepticProfile.GlobalProfile.sonic_value line 41
9. lemma OAI.SepticProfile.GlobalProfile.mellinPrincipal_sonic line 45
10. lemma OAI.SepticProfile.GlobalProfile.mellinPrincipal_zero_iff line 51