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

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

diff --git a/Nevanlinna/stronglyMeromorphicAt.lean b/Nevanlinna/stronglyMeromorphicAt.lean
index 7c82a9d..d6d8924 100644
--- a/Nevanlinna/stronglyMeromorphicAt.lean
+++ b/Nevanlinna/stronglyMeromorphicAt.lean
@@ -347,7 +347,6 @@ theorem makeStronglyMeromorphic_id
         by_contra hn
         rw [hn] at this
         tauto
-
   · exact m₁ (StronglyMeromorphicAt.meromorphicAt hf) z hz