OAI/MathematicalPhysics/Transonic/Profile/ExteriorCoordinates.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.ExteriorPolynomial.location line 10
2. def OAI.SepticProfile.ExteriorPolynomial.coordinate line 11
3. lemma OAI.SepticProfile.ExteriorPolynomial.coordinate_location line 13
4. lemma OAI.SepticProfile.ExteriorPolynomial.location_coordinate line 19
5. lemma OAI.SepticProfile.ExteriorPolynomial.location_monotone line 25
6. lemma OAI.SepticProfile.ExteriorPolynomial.coordinate_mem line 31
7. lemma OAI.SepticProfile.ExteriorPolynomial.coordinate_derivative line 38
8. lemma OAI.SepticProfile.ExteriorPolynomial.chart_within_derivative line 42