Move

leanprover-community · Sep 14, 2024 · 069f950 · 069f950
1 parent e198100
commit 069f950
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -1025,7 +1025,7 @@ import Mathlib.Analysis.Calculus.SmoothSeries
 import Mathlib.Analysis.Calculus.TangentCone
 import Mathlib.Analysis.Calculus.Taylor
 import Mathlib.Analysis.Calculus.UniformLimitsDeriv
-import Mathlib.Analysis.Cauchy
+import Mathlib.Analysis.CauchyBound
 import Mathlib.Analysis.Complex.AbelLimit
 import Mathlib.Analysis.Complex.AbsMax
 import Mathlib.Analysis.Complex.Angle

diff --git a/Mathlib/Analysis/Cauchy.lean → Mathlib/Analysis/CauchyBound.lean b/Mathlib/Analysis/Cauchy.lean → Mathlib/Analysis/CauchyBound.lean