OAI/Analysis/LienardCycles/PeriodicSymmetry.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.polynomialReflect line 22
  2. lemma OAI.QuinticLienard.polynomialReflect_eval line 23
  3. def OAI.QuinticLienard.reverseY line 25
  4. def OAI.QuinticLienard.reverseX line 26
  5. lemma OAI.QuinticLienard.IsSolution.reverseY line 27
  6. lemma OAI.QuinticLienard.IsSolution.reverseX line 35
  7. lemma OAI.QuinticLienard.reverseY_nonconstant line 41
  8. lemma OAI.QuinticLienard.reverseX_nonconstant line 46
  9. lemma OAI.QuinticLienard.reverseY_periodic line 51
  10. lemma OAI.QuinticLienard.reverseX_periodic line 55
  11. lemma OAI.QuinticLienard.IsSolution.right_excursion_before line 59
  12. lemma OAI.QuinticLienard.IsSolution.y_extrema line 70