OAI/MathematicalPhysics/Transonic/Profile/PhysicalEntry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SepticProfile.PhysicalExterior.chart_antitone line 10
2. lemma OAI.SepticProfile.PhysicalExterior.chart_first line 17
3. lemma OAI.SepticProfile.PhysicalExterior.chart_second line 22
4. lemma OAI.SepticProfile.PhysicalExterior.chart_critical line 27
5. lemma OAI.SepticProfile.PhysicalExterior.normalized_critical line 35
6. lemma OAI.SepticProfile.PhysicalExterior.critical_exit line 43
7. lemma OAI.SepticProfile.PhysicalExterior.sonic_exit_factors line 72