OAI/Analysis/LienardCycles/CurvatureJets.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.QuadraticCoordinates.ar line 19
  2. def OAI.QuinticLienard.QuadraticCoordinates.arr line 20
  3. def OAI.QuinticLienard.QuadraticCoordinates.transport line 21
  4. lemma OAI.QuinticLienard.QuadraticCoordinates.alpha_analytic line 23
  5. lemma OAI.QuinticLienard.QuadraticCoordinates.ar_analytic line 27
  6. lemma OAI.QuinticLienard.QuadraticCoordinates.ar_deriv line 29
  7. lemma OAI.QuinticLienard.QuadraticCoordinates.arr_deriv line 32
  8. lemma OAI.QuinticLienard.QuadraticCoordinates.Rr_analytic line 35
  9. lemma OAI.QuinticLienard.QuadraticCoordinates.Sr_analytic line 37
  10. lemma OAI.QuinticLienard.QuadraticCoordinates.W_analytic line 39
  11. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_P line 42
  12. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_Q line 60
  13. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_deriv line 81
  14. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_R line 95
  15. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_S line 102
  16. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_Rr line 109
  17. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_Sr line 119
  18. lemma OAI.QuinticLienard.QuadraticCoordinates.direction_mul_sub line 130
  19. lemma OAI.QuinticLienard.QuadraticCoordinates.transport_W line 141