OAI/Analysis/PlanarPacking/TaylorControl.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SharpPlanar.jet_iteratedDeriv line 10
  2. lemma OAI.SharpPlanar.jet_contDiff line 19
  3. def OAI.SharpPlanar.jetTaylor line 25
  4. lemma OAI.SharpPlanar.jetTaylor_zero line 27
  5. lemma OAI.SharpPlanar.jetTaylor_at_zero line 29
  6. lemma OAI.SharpPlanar.jetTaylor_eq_within line 35
  7. lemma OAI.SharpPlanar.jetTaylor_error line 47
  8. def OAI.SharpPlanar.jetPartial line 61
  9. lemma OAI.SharpPlanar.jetPartial_succ line 63
  10. lemma OAI.SharpPlanar.jetPartial_error line 65
  11. def OAI.SharpPlanar.deletedPolynomial line 73
  12. lemma OAI.SharpPlanar.jetPartial_split line 75
  13. lemma OAI.SharpPlanar.jetPartial_sub line 84
  14. lemma OAI.SharpPlanar.deletedPolynomial_error line 89