OAI/Analysis/LienardCycles/RadiusLimits.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.QuadraticCoordinates.RN line 19
2. def OAI.QuinticLienard.QuadraticCoordinates.GN line 20
3. lemma OAI.QuinticLienard.QuadraticCoordinates.RN_analytic line 23
4. lemma OAI.QuinticLienard.QuadraticCoordinates.GN_analytic line 28
5. lemma OAI.QuinticLienard.QuadraticCoordinates.RN_zero line 35
6. lemma OAI.QuinticLienard.QuadraticCoordinates.GN_zero line 37
7. lemma OAI.QuinticLienard.QuadraticCoordinates.G_scaled line 40
8. lemma OAI.QuinticLienard.QuadraticCoordinates.R_G_positive_near_zero line 46