OAI/MathematicalPhysics/Transonic/Profile/ExteriorTail.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.SepticProfile.SonicShooting.ExteriorTail line 10
2. lemma OAI.SepticProfile.SonicShooting.ExteriorBranch.exists_tail line 18