OAI/Analysis/LienardCycles/PositiveBase.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.PositiveWidth.baseAtWidth line 28
2. def OAI.QuinticLienard.PositiveWidth.Admissible line 30
3. lemma OAI.QuinticLienard.PositiveWidth.base_spec line 33
4. lemma OAI.QuinticLienard.PositiveWidth.base_eq line 38
5. lemma OAI.QuinticLienard.PositiveWidth.base_exists_le line 42
6. lemma OAI.QuinticLienard.PositiveWidth.base_local line 58
7. lemma OAI.QuinticLienard.PositiveWidth.base_analytic line 78
8. lemma OAI.QuinticLienard.PositiveWidth.base_width_deriv line 80
9. lemma OAI.QuinticLienard.PositiveWidth.base_midpoint line 100
10. lemma OAI.QuinticLienard.PositiveWidth.base_tendsto line 107