OAI/Analysis/LienardCycles/HeightLimits.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.QuadraticCoordinates.HN line 19
2. def OAI.QuinticLienard.QuadraticCoordinates.DN line 20
3. lemma OAI.QuinticLienard.QuadraticCoordinates.HN_analytic line 22
4. lemma OAI.QuinticLienard.QuadraticCoordinates.DN_analytic line 25
5. lemma OAI.QuinticLienard.QuadraticCoordinates.HN_zero line 31
6. lemma OAI.QuinticLienard.QuadraticCoordinates.DN_zero line 33
7. lemma OAI.QuinticLienard.QuadraticCoordinates.Hr_DN line 34
8. lemma OAI.QuinticLienard.QuadraticCoordinates.HN_deriv_zero line 40
9. lemma OAI.QuinticLienard.QuadraticCoordinates.DN_deriv_zero line 52
10. lemma OAI.QuinticLienard.QuadraticCoordinates.Hr_negative_near_zero line 60