OAI/Analysis/LienardCycles/PolynomialModel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.PolynomialModel.local_flow_equiv line 20
2. abbrev OAI.QuinticLienard.PolynomialModel.ModelState line 43
3. def OAI.QuinticLienard.PolynomialModel.stateEquiv line 45
4. lemma OAI.QuinticLienard.PolynomialModel.stateEquiv_apply line 54
5. def OAI.QuinticLienard.PolynomialModel.profile line 56
6. lemma OAI.QuinticLienard.PolynomialModel.profile_contDiff line 59
7. def OAI.QuinticLienard.PolynomialModel.polynomials line 64
8. lemma OAI.QuinticLienard.PolynomialModel.polynomial_representation line 67
9. theorem OAI.QuinticLienard.PolynomialModel.model_local_flow line 74
10. theorem OAI.QuinticLienard.PolynomialModel.endpoints_analytic line 82