OAI/Analysis/LienardCycles/QuadraticFit.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.QuadraticFit.midpoint_strictMono line 20
2. lemma OAI.QuinticLienard.QuadraticFit.midpoint_above line 27
3. lemma OAI.QuinticLienard.QuadraticFit.midpoint_below line 80
4. lemma OAI.QuinticLienard.QuadraticFit.midpoint_exists line 89
5. def OAI.QuinticLienard.QuadraticFit.slope line 98
6. lemma OAI.QuinticLienard.QuadraticFit.slope_spec line 102
7. lemma OAI.QuinticLienard.QuadraticFit.slope_eq line 108
8. lemma OAI.QuinticLienard.QuadraticFit.slope_analytic line 112