OAI/MathematicalPhysics/Transonic/Phase/Flux.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SepticProfile.GlobalProfile.velocity_derivative line 12
  2. lemma OAI.SepticProfile.GlobalProfile.speed_sq_pos line 15
  3. def OAI.SepticProfile.GlobalProfile.logA line 19
  4. lemma OAI.SepticProfile.GlobalProfile.A_derivative line 22
  5. lemma OAI.SepticProfile.GlobalProfile.M0_factor line 35
  6. lemma OAI.SepticProfile.GlobalProfile.M0_derivative line 40
  7. lemma OAI.SepticProfile.hasDerivAt_rpow_log line 51
  8. def OAI.SepticProfile.GlobalProfile.F line 59
  9. def OAI.SepticProfile.GlobalProfile.G line 60
  10. def OAI.SepticProfile.GlobalProfile.logF line 61
  11. lemma OAI.SepticProfile.GlobalProfile.F_derivative line 64
  12. lemma OAI.SepticProfile.GlobalProfile.G_eq line 71
  13. lemma OAI.SepticProfile.GlobalProfile.G_derivative line 74
  14. lemma OAI.SepticProfile.source_transport_algebra line 80
  15. lemma OAI.SepticProfile.GlobalProfile.radial_transport line 91