From 0139e9c95aaaefaf4b01eb3b617593efc8da5d19 Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Fri, 20 Dec 2024 11:54:02 +0100
Subject: [PATCH] Update firstMain.lean

---
 Nevanlinna/firstMain.lean | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Nevanlinna/firstMain.lean b/Nevanlinna/firstMain.lean
index 5e30048..b3a912e 100644
--- a/Nevanlinna/firstMain.lean
+++ b/Nevanlinna/firstMain.lean
@@ -227,4 +227,6 @@ theorem Nevanlinna_firstMain₂
   (h₁f : MeromorphicOn f ⊤) :
   |(h₁f.T_infty r) - ((h₁f.sub (MeromorphicOn.const a)).T_infty r)| ≤ logpos ‖a‖ + log 2 := by
 
+  -- See Lang, p. 168
+
   sorry