OAI/Analysis/LienardCycles/AxisBranches.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.AxisFlow.φ line 21
  2. def OAI.QuinticLienard.AxisFlow.endpoint line 22
  3. def OAI.QuinticLienard.AxisFlow.branch line 24
  4. def OAI.QuinticLienard.AxisFlow.axisEndpoint line 25
  5. lemma OAI.QuinticLienard.AxisFlow.φ_continuous line 27
  6. lemma OAI.QuinticLienard.AxisFlow.φ_smooth line 30
  7. lemma OAI.QuinticLienard.AxisFlow.φ_square line 34
  8. lemma OAI.QuinticLienard.AxisFlow.branch_analytic line 37
  9. lemma OAI.QuinticLienard.AxisFlow.branch_equation line 46
  10. lemma OAI.QuinticLienard.AxisFlow.branch_peak_sign line 70
  11. lemma OAI.QuinticLienard.AxisFlow.branch_tendsto line 83
  12. theorem OAI.QuinticLienard.AxisFlow.endpoint_germ line 97