OAI/Analysis/LienardCycles/AxisWidthRegularity.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.QuinticLienard.AxisFlow.axisWidths_open line 21
2. lemma OAI.QuinticLienard.AxisFlow.axisWidths_ordConnected line 26
3. lemma OAI.QuinticLienard.AxisFlow.axisPeak_analytic line 29
4. lemma OAI.QuinticLienard.AxisFlow.axisM_analytic line 33
5. def OAI.QuinticLienard.AxisFlow.axisV line 37
6. lemma OAI.QuinticLienard.AxisFlow.axisV_analytic line 38
7. lemma OAI.QuinticLienard.AxisFlow.axisV_ratio line 40
8. lemma OAI.QuinticLienard.AxisFlow.axisV_abs_lt line 57
9. lemma OAI.QuinticLienard.AxisFlow.width_germ_derivative line 61
10. lemma OAI.QuinticLienard.AxisFlow.width_germ_axis_derivative line 73