OAI/Analysis/LienardCycles/ScaledActual.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.QuinticFit.lambda line 21
  2. def OAI.QuinticLienard.QuinticFit.kappa line 22
  3. lemma OAI.QuinticLienard.QuinticFit.scaled_fit line 23
  4. def OAI.QuinticLienard.QuinticFit.pull line 54
  5. lemma OAI.QuinticLienard.QuinticFit.pull_analytic line 56
  6. def OAI.QuinticLienard.QuinticFit.pulledSlope line 61
  7. def OAI.QuinticLienard.QuinticFit.pulledCurvature line 62
  8. lemma OAI.QuinticLienard.QuinticFit.pulledSlope_analytic line 63
  9. lemma OAI.QuinticLienard.QuinticFit.pulledCurvature_analytic line 66
  10. lemma OAI.QuinticLienard.QuinticFit.pull_height line 69
  11. lemma OAI.QuinticLienard.QuinticFit.pulled_zero line 72
  12. lemma OAI.QuinticLienard.QuinticFit.pulled_actual line 77
  13. lemma OAI.QuinticLienard.QuinticFit.kappa_correction line 83