From ccfc457c48ccc4a6f9a57cc0ed5bd1983b3144cc Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Thu, 14 Nov 2024 15:36:36 +0100
Subject: [PATCH] Update stronglyMeromorphicAt.lean

---
 Nevanlinna/stronglyMeromorphicAt.lean | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Nevanlinna/stronglyMeromorphicAt.lean b/Nevanlinna/stronglyMeromorphicAt.lean
index d6d8924..3017484 100644
--- a/Nevanlinna/stronglyMeromorphicAt.lean
+++ b/Nevanlinna/stronglyMeromorphicAt.lean
@@ -200,8 +200,6 @@ theorem StronglyMeromorphicAt.localIdentity
 
 
 
-
-
 /- Make strongly MeromorphicAt -/
 noncomputable def MeromorphicAt.makeStronglyMeromorphicAt
   {f : ℂ → ℂ}