OAI/MathematicalPhysics/Transonic/Certificates/HighPolynomialCertificate.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SepticProfile.HighPolynomialCertificate.jet_enclosed line 12
2. lemma OAI.SepticProfile.HighPolynomialCertificate.plus_range line 25
3. lemma OAI.SepticProfile.HighPolynomialCertificate.plus_residual line 37
4. lemma OAI.SepticProfile.HighPolynomialCertificate.minus_range line 76
5. lemma OAI.SepticProfile.HighPolynomialCertificate.minus_residual line 88
6. theorem OAI.SepticProfile.HighPolynomialCertificate.certificate line 129