OAI/MathematicalPhysics/Transonic/Phase/RadialFlux.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SepticProfile.GlobalProfile.radialC line 11
  2. def OAI.SepticProfile.GlobalProfile.radialA line 13
  3. def OAI.SepticProfile.GlobalProfile.radialM line 14
  4. def OAI.SepticProfile.GlobalProfile.radialF line 15
  5. def OAI.SepticProfile.GlobalProfile.radialJ line 16
  6. lemma OAI.SepticProfile.GlobalProfile.radialC_sq line 18
  7. lemma OAI.SepticProfile.GlobalProfile.B_radial line 24
  8. lemma OAI.SepticProfile.GlobalProfile.radialA_sq line 27
  9. lemma OAI.SepticProfile.GlobalProfile.radialM_sq line 32
  10. lemma OAI.SepticProfile.GlobalProfile.radialM_pos line 35
  11. lemma OAI.SepticProfile.GlobalProfile.radialC_smooth line 38
  12. lemma OAI.SepticProfile.GlobalProfile.radialA_smooth line 40
  13. lemma OAI.SepticProfile.GlobalProfile.radialM_smooth line 42
  14. lemma OAI.SepticProfile.GlobalProfile.radialF_smooth line 44
  15. lemma OAI.SepticProfile.GlobalProfile.radialJ_smooth line 46
  16. lemma OAI.SepticProfile.GlobalProfile.F_radial line 48
  17. lemma OAI.SepticProfile.GlobalProfile.G_radial line 50
  18. lemma OAI.SepticProfile.smooth_square_chain line 54
  19. lemma OAI.SepticProfile.GlobalProfile.F_derivative_radial line 63
  20. lemma OAI.SepticProfile.GlobalProfile.G_derivative_radial line 67
  21. lemma OAI.SepticProfile.GlobalProfile.g_zero line 75
  22. lemma OAI.SepticProfile.GlobalProfile.radial_transport_sq line 84