OAI/Analysis/LienardCycles/QuadraticDerivatives.lean

GitHub source file

35 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.QuinticLienard.QuadraticCoordinates.R_hasDerivAt line 19
  2. lemma OAI.QuinticLienard.QuadraticCoordinates.S_hasDerivAt line 24
  3. lemma OAI.QuinticLienard.QuadraticCoordinates.P_scaling line 30
  4. lemma OAI.QuinticLienard.QuadraticCoordinates.Q_scaling line 40
  5. def OAI.QuinticLienard.QuadraticCoordinates.Rr line 50
  6. def OAI.QuinticLienard.QuadraticCoordinates.Sr line 51
  7. def OAI.QuinticLienard.QuadraticCoordinates.W line 52
  8. lemma OAI.QuinticLienard.QuadraticCoordinates.Rr_hasDerivAt line 53
  9. lemma OAI.QuinticLienard.QuadraticCoordinates.Sr_hasDerivAt line 58
  10. def OAI.QuinticLienard.QuadraticCoordinates.PN line 64
  11. def OAI.QuinticLienard.QuadraticCoordinates.QN line 65
  12. def OAI.QuinticLienard.QuadraticCoordinates.PNr line 66
  13. def OAI.QuinticLienard.QuadraticCoordinates.QNr line 67
  14. def OAI.QuinticLienard.QuadraticCoordinates.PNrr line 68
  15. def OAI.QuinticLienard.QuadraticCoordinates.QNrr line 69
  16. lemma OAI.QuinticLienard.QuadraticCoordinates.PN_analytic line 71
  17. lemma OAI.QuinticLienard.QuadraticCoordinates.QN_analytic line 74
  18. lemma OAI.QuinticLienard.QuadraticCoordinates.PNr_analytic line 77
  19. lemma OAI.QuinticLienard.QuadraticCoordinates.QNr_analytic line 78
  20. lemma OAI.QuinticLienard.QuadraticCoordinates.PNrr_analytic line 79
  21. lemma OAI.QuinticLienard.QuadraticCoordinates.QNrr_analytic line 80
  22. lemma OAI.QuinticLienard.QuadraticCoordinates.slice_r line 82
  23. lemma OAI.QuinticLienard.QuadraticCoordinates.PNr_hasDerivAt line 88
  24. lemma OAI.QuinticLienard.QuadraticCoordinates.QNr_hasDerivAt line 91
  25. lemma OAI.QuinticLienard.QuadraticCoordinates.PNrr_hasDerivAt line 94
  26. lemma OAI.QuinticLienard.QuadraticCoordinates.QNrr_hasDerivAt line 97
  27. lemma OAI.QuinticLienard.QuadraticCoordinates.R_scaled line 101
  28. lemma OAI.QuinticLienard.QuadraticCoordinates.S_scaled line 110
  29. lemma OAI.QuinticLienard.QuadraticCoordinates.Rr_scaled line 119
  30. lemma OAI.QuinticLienard.QuadraticCoordinates.Sr_scaled line 130
  31. def OAI.QuinticLienard.QuadraticCoordinates.WN line 141
  32. lemma OAI.QuinticLienard.QuadraticCoordinates.W_scaled line 145
  33. lemma OAI.QuinticLienard.QuadraticCoordinates.WN_analytic line 152
  34. lemma OAI.QuinticLienard.QuadraticCoordinates.WN_zero line 162
  35. theorem OAI.QuinticLienard.QuadraticCoordinates.W_positive_near_zero line 166