diff --git a/Nevanlinna/stronglyMeromorphic.lean b/Nevanlinna/stronglyMeromorphicAt.lean
similarity index 99%
rename from Nevanlinna/stronglyMeromorphic.lean
rename to Nevanlinna/stronglyMeromorphicAt.lean
index d82645d..344b499 100644
--- a/Nevanlinna/stronglyMeromorphic.lean
+++ b/Nevanlinna/stronglyMeromorphicAt.lean
@@ -98,6 +98,7 @@ noncomputable def MeromorphicAt.makeStronglyMeromorphicAt
     · exact 0
   · exact f z
 
+
 lemma m₁
   {f : ℂ → ℂ}
   {z₀ : ℂ}
@@ -107,6 +108,7 @@ lemma m₁
   unfold MeromorphicAt.makeStronglyMeromorphicAt
   simp [hz]
 
+
 lemma m₂
   {f : ℂ → ℂ}
   {z₀ : ℂ}