OAI/MathematicalPhysics/Transonic/Certificates/LowPolynomialCertificate.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

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