feat: port Analysis.Calculus.Taylor (#4582)

leanprover-community · Jun 2, 2023 · cdbd878 · cdbd878
1 parent 9523725
commit cdbd878
Show file tree

Hide file tree

Showing 2 changed files with 394 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -458,6 +458,7 @@ import Mathlib.Analysis.Calculus.LHopital
 import Mathlib.Analysis.Calculus.LocalExtr
 import Mathlib.Analysis.Calculus.MeanValue
 import Mathlib.Analysis.Calculus.TangentCone
+import Mathlib.Analysis.Calculus.Taylor
 import Mathlib.Analysis.Complex.Arg
 import Mathlib.Analysis.Complex.Basic
 import Mathlib.Analysis.Complex.Circle