OAI/Analysis/LienardCycles/ScaledExpansion.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuinticLienard.ScaledProfile.poly line 19
  2. def OAI.QuinticLienard.ScaledProfile.c₁ line 21
  3. def OAI.QuinticLienard.ScaledProfile.c₂ line 22
  4. def OAI.QuinticLienard.ScaledProfile.c₃ line 23
  5. def OAI.QuinticLienard.ScaledProfile.c₄ line 24
  6. def OAI.QuinticLienard.ScaledProfile.rem line 25
  7. lemma OAI.QuinticLienard.ScaledProfile.eval_C₁ line 28
  8. lemma OAI.QuinticLienard.ScaledProfile.eval_C₂ line 30
  9. lemma OAI.QuinticLienard.ScaledProfile.eval_C₃ line 32
  10. lemma OAI.QuinticLienard.ScaledProfile.eval_C₄ line 34
  11. lemma OAI.QuinticLienard.ScaledProfile.eval_Rem line 36
  12. lemma OAI.QuinticLienard.ScaledProfile.polynomial_taylor line 38
  13. lemma OAI.QuinticLienard.ScaledProfile.rational_taylor line 42
  14. lemma OAI.QuinticLienard.ScaledProfile.expansion line 51
  15. lemma OAI.QuinticLienard.ScaledProfile.actual_scaling line 56