OAI/Analysis/LienardCycles/CurvatureTransport.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.QuadraticCoordinates.C line 21
  2. def OAI.QuinticLienard.QuadraticCoordinates.Cr line 22
  3. def OAI.QuinticLienard.QuadraticCoordinates.Cd line 23
  4. def OAI.QuinticLienard.QuadraticCoordinates.Ck line 24
  5. lemma OAI.QuinticLienard.QuadraticCoordinates.G_analytic line 25
  6. lemma OAI.QuinticLienard.QuadraticCoordinates.C_analytic line 27
  7. lemma OAI.QuinticLienard.QuadraticCoordinates.Cr_analytic line 29
  8. lemma OAI.QuinticLienard.QuadraticCoordinates.Cd_analytic line 30
  9. lemma OAI.QuinticLienard.QuadraticCoordinates.Ck_analytic line 31
  10. lemma OAI.QuinticLienard.QuadraticCoordinates.Cr_nonpos line 32
  11. def OAI.QuinticLienard.QuinticFit.w line 41
  12. def OAI.QuinticLienard.QuinticFit.T line 42
  13. lemma OAI.QuinticLienard.QuinticFit.gap_pos line 45
  14. lemma OAI.QuinticLienard.QuinticFit.α_analytic line 47
  15. lemma OAI.QuinticLienard.QuinticFit.fit_analytic line 49
  16. lemma OAI.QuinticLienard.QuinticFit.w_analytic line 51
  17. lemma OAI.QuinticLienard.QuinticFit.T_analytic line 53
  18. theorem OAI.QuinticLienard.QuinticFit.w_transport line 64