OAI/Analysis/LienardCycles/AxisWidthGerm.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.QuinticLienard.AxisFlow.axisWidths line 22
2. def OAI.QuinticLienard.AxisFlow.axisPeak line 23
3. lemma OAI.QuinticLienard.AxisFlow.axisPeak_spec line 25
4. lemma OAI.QuinticLienard.AxisFlow.axisPeak_eq line 28
5. def OAI.QuinticLienard.AxisFlow.axisM line 33
6. lemma OAI.QuinticLienard.AxisFlow.axisM_abs_lt line 34
7. theorem OAI.QuinticLienard.AxisFlow.width_germ line 40