OAI/Analysis/LienardCycles/BoundaryFlow.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.QuinticLienard.GlobalODE.unique_on_open_interval line 24
  2. def OAI.QuinticLienard.AxisFlow.X line 52
  3. def OAI.QuinticLienard.AxisFlow.Y line 53
  4. def OAI.QuinticLienard.AxisFlow.polynomial line 54
  5. def OAI.QuinticLienard.AxisFlow.rhs line 56
  6. def OAI.QuinticLienard.AxisFlow.field line 57
  7. def OAI.QuinticLienard.AxisFlow.domain line 58
  8. lemma OAI.QuinticLienard.AxisFlow.polynomial_eval line 59
  9. lemma OAI.QuinticLienard.AxisFlow.polynomial_regular line 61
  10. lemma OAI.QuinticLienard.AxisFlow.rhs_eval line 63
  11. lemma OAI.QuinticLienard.AxisFlow.rhs_regular line 65
  12. lemma OAI.QuinticLienard.AxisFlow.domain_open line 68
  13. lemma OAI.QuinticLienard.AxisFlow.field_analytic line 73
  14. lemma OAI.QuinticLienard.AxisFlow.local_flow line 77