diff --git a/Nevanlinna/complexHarmonic.examples.lean b/Nevanlinna/complexHarmonic.examples.lean index 26b8fc4..9db98eb 100644 --- a/Nevanlinna/complexHarmonic.examples.lean +++ b/Nevanlinna/complexHarmonic.examples.lean @@ -1,3 +1,4 @@ +import Mathlib.Analysis.SpecialFunctions.Complex.LogDeriv import Nevanlinna.complexHarmonic import Nevanlinna.holomorphic