OAI/MathematicalPhysics/Transonic/Profile/PhysicalExterior.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.PhysicalExterior.field line 11
2. lemma OAI.SepticProfile.PhysicalExterior.exterior_factors line 14
3. lemma OAI.SepticProfile.PhysicalExterior.denominator_neg line 34
4. lemma OAI.SepticProfile.PhysicalExterior.numerator_pos_upper line 46
5. lemma OAI.SepticProfile.PhysicalExterior.field_smooth_on line 58
6. lemma OAI.SepticProfile.PhysicalExterior.finite_continuation line 69