OAI/MathematicalPhysics/Transonic/Phase/Radial.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SepticProfile.primitive_hasDerivWithinAt_Ici line 11
  2. lemma OAI.SepticProfile.primitive_contDiffOn_Ici line 27
  3. def OAI.SepticProfile.GlobalProfile.radialIntegrand line 34
  4. def OAI.SepticProfile.GlobalProfile.radialPrimitive line 35
  5. def OAI.SepticProfile.GlobalProfile.radialH line 37
  6. lemma OAI.SepticProfile.GlobalProfile.radial_pole_pos line 40
  7. lemma OAI.SepticProfile.GlobalProfile.radialIntegrand_smooth line 46
  8. lemma OAI.SepticProfile.GlobalProfile.radialPrimitive_smooth line 50
  9. lemma OAI.SepticProfile.GlobalProfile.radialPrimitive_derivative line 53
  10. lemma OAI.SepticProfile.GlobalProfile.radialH_smooth line 56
  11. lemma OAI.SepticProfile.GlobalProfile.radialPrimitive_chain line 59
  12. lemma OAI.SepticProfile.GlobalProfile.primitive_radial line 70
  13. lemma OAI.SepticProfile.GlobalProfile.H_radial line 81