Skip to content

Commit dc763a7

Browse files
CoolRmalCoolRmal
committed
change import
1 parent 57ae26a commit dc763a7

2 files changed

Lines changed: 0 additions & 5 deletions

File tree

‎Mathlib/Analysis/Complex/CauchyIntegral.lean‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,7 @@ Copyright (c) 2021 Yury Kudryashov. All rights reserved.
33
Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Yury Kudryashov
55
-/
6-
import Mathlib.Analysis.Analytic.Uniqueness
76
import Mathlib.Analysis.Calculus.DiffContOnCl
8-
import Mathlib.Analysis.Calculus.DSlope
9-
import Mathlib.Analysis.Calculus.FDeriv.Analytic
107
import Mathlib.Analysis.Complex.ReImTopology
118
import Mathlib.Analysis.Real.Cardinality
129
import Mathlib.MeasureTheory.Integral.CircleIntegral

‎Mathlib/Analysis/Complex/Liouville.lean‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,6 @@ Released under Apache 2.0 license as described in the file LICENSE.
44
Authors: Yury Kudryashov
55
-/
66
import Mathlib.Analysis.Complex.CauchyIntegral
7-
import Mathlib.Analysis.Calculus.FDeriv.Analytic
8-
import Mathlib.Analysis.Normed.Module.Completion
97

108
/-!
119
# Liouville's theorem

0 commit comments

Comments
 (0)