OAI/MathematicalPhysics/Transonic/Exterior/BarrierPolynomial.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SepticProfile.ExteriorPolynomial.residual line 12
2. lemma OAI.SepticProfile.ExteriorPolynomial.coe_residual line 17
3. lemma OAI.SepticProfile.ExteriorPolynomial.eval_residual line 28
4. lemma OAI.SepticProfile.ExteriorPolynomial.degree_residual line 35
5. lemma OAI.SepticProfile.ExteriorPolynomial.trunc_congr line 42
6. lemma OAI.SepticProfile.ExteriorPolynomial.residual_lowzero line 49
7. lemma OAI.SepticProfile.ExteriorPolynomial.eval_factor line 58
8. lemma OAI.SepticProfile.ExteriorPolynomial.root_exists line 73
9. lemma OAI.SepticProfile.ExteriorPolynomial.scaled_full_equation line 81