OAI/MathematicalPhysics/Transonic/Phase/MellinCoefficients.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SepticProfile.GlobalProfile.mellinTZero line 11
  2. def OAI.SepticProfile.GlobalProfile.mellinTFirst line 12
  3. def OAI.SepticProfile.GlobalProfile.mellinSZero line 13
  4. def OAI.SepticProfile.GlobalProfile.mellinSFirst line 14
  5. def OAI.SepticProfile.GlobalProfile.mellinSecondCoeff line 16
  6. def OAI.SepticProfile.GlobalProfile.mellinFirstCoeff line 18
  7. def OAI.SepticProfile.GlobalProfile.mellinZeroCoeff line 22
  8. lemma OAI.SepticProfile.GlobalProfile.mellinTZero_smooth line 27
  9. lemma OAI.SepticProfile.GlobalProfile.mellinTFirst_smooth line 29
  10. lemma OAI.SepticProfile.GlobalProfile.mellinSZero_smooth line 32
  11. lemma OAI.SepticProfile.GlobalProfile.mellinSFirst_smooth line 34
  12. lemma OAI.SepticProfile.GlobalProfile.mellinSecondCoeff_smooth line 37
  13. lemma OAI.SepticProfile.smooth_flux_pair_derivative line 41
  14. lemma OAI.SepticProfile.GlobalProfile.mellinPencil_coefficients line 58
  15. lemma OAI.SepticProfile.GlobalProfile.mellinSecondCoeff_factor line 77
  16. lemma OAI.SepticProfile.GlobalProfile.mellinSecondCoeff_sq line 82
  17. lemma OAI.SepticProfile.GlobalProfile.mellinSecondCoeff_axis line 90
  18. lemma OAI.SepticProfile.GlobalProfile.mellinSecondCoeff_sonic line 93
  19. lemma OAI.SepticProfile.GlobalProfile.mellinPencil_sonic line 97