OAI/Geometry/IsometricImmersion/Taylor/FiniteTaylorComparison.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SmoothLocal.Taylor.linearCauchy line 15
  2. theorem OAI.SmoothLocal.Taylor.linearCauchy_contDiffOn line 18
  3. theorem OAI.SmoothLocal.Taylor.linearCauchy_value line 25
  4. theorem OAI.SmoothLocal.Taylor.linearCauchy_velocity line 28
  5. def OAI.SmoothLocal.Taylor.taylorApproximation line 47
  6. theorem OAI.SmoothLocal.Taylor.taylorApproximation_value line 52
  7. def OAI.SmoothLocal.Taylor.comparisonTimePolynomial line 61
  8. theorem OAI.SmoothLocal.Taylor.comparisonTimePolynomial_eval line 68
  9. theorem OAI.SmoothLocal.Taylor.comparisonTimePolynomial_natDegree line 81
  10. theorem OAI.SmoothLocal.Taylor.taylorApproximation_properties line 102
  11. theorem OAI.SmoothLocal.Taylor.finiteTaylorComparison line 139