OAI/Analysis/LienardCycles/PositiveFit.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.PositiveFit.m line 27
2. def OAI.QuinticLienard.PositiveFit.n line 28
3. def OAI.QuinticLienard.PositiveFit.d line 29
4. def OAI.QuinticLienard.PositiveFit.k line 30
5. lemma OAI.QuinticLienard.PositiveFit.m_analytic line 32
6. lemma OAI.QuinticLienard.PositiveFit.n_analytic line 36
7. lemma OAI.QuinticLienard.PositiveFit.m_hasDerivAt line 38
8. lemma OAI.QuinticLienard.PositiveFit.m_abs_lt line 42
9. lemma OAI.QuinticLienard.PositiveFit.n_abs_lt line 44
10. lemma OAI.QuinticLienard.PositiveFit.d_analytic line 47
11. lemma OAI.QuinticLienard.PositiveFit.k_analytic line 53
12. lemma OAI.QuinticLienard.PositiveFit.fit_quadratic line 59
13. lemma OAI.QuinticLienard.PositiveFit.n_path line 71
14. lemma OAI.QuinticLienard.PositiveFit.cubic_fit line 75