From dd3384439e36be77c208e96e2ab58f69bf4ed0e7 Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Thu, 24 Oct 2024 13:49:58 +0200
Subject: [PATCH] Rename

---
 .../{stronglyMeromorphic.lean => stronglyMeromorphicAt.lean}    | 2 ++
 1 file changed, 2 insertions(+)
 rename Nevanlinna/{stronglyMeromorphic.lean => stronglyMeromorphicAt.lean} (99%)

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₀ : ℂ}