OAI/Analysis/LienardCycles/AxisRegularity.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.AxisFlow.endpoint_germ_eq line 21
2. lemma OAI.QuinticLienard.AxisFlow.axisEndpoint_analytic line 35
3. lemma OAI.QuinticLienard.AxisFlow.axisEndpoint_sign line 40
4. lemma OAI.QuinticLienard.AxisFlow.endpoint_peak_order line 49
5. lemma OAI.QuinticLienard.AxisFlow.axis_peak_order line 72
6. def OAI.QuinticLienard.AxisFlow.transversePeaks line 85
7. lemma OAI.QuinticLienard.AxisFlow.transversePeaks_upper line 87
8. lemma OAI.QuinticLienard.AxisFlow.transversePeaks_open line 91
9. lemma OAI.QuinticLienard.AxisFlow.transversePeaks_ordConnected line 98
10. def OAI.QuinticLienard.AxisFlow.axisWidth line 102
11. def OAI.QuinticLienard.AxisFlow.axisCenter line 103
12. lemma OAI.QuinticLienard.AxisFlow.axisWidth_analytic line 104
13. lemma OAI.QuinticLienard.AxisFlow.axisCenter_analytic line 107
14. lemma OAI.QuinticLienard.AxisFlow.axisWidth_pos_deriv line 110
15. lemma OAI.QuinticLienard.AxisFlow.axisWidth_strictMono line 131