OAI/MathematicalPhysics/Transonic/Profile/GlobalExistence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SepticProfile.SonicShooting.exists_global_source_profile line 12

   Source documentation

   Existence of a global smooth relativistic transonic profile at ell = 5/3.

   theorem exists_global_source_profile : RelativisticProfileExists := by
   …

   Mentions: OAI.SepticProfile.RelativisticProfileExists