From 9252077b43af41cec32dee6e3b0ecdd67e979279 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Mon, 24 Jul 2023 15:33:51 +0100
Subject: [PATCH] Relate Numerical ineqs subsect to previous lemmas

---
 main.tex | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/main.tex b/main.tex
index 2018c9c..0d40549 100644
--- a/main.tex
+++ b/main.tex
@@ -1018,6 +1018,10 @@ and we shall be varying $\chern_0(E) = r$ to see when certain inequalities fail.
 
 \subsection{Numerical Inequalities}
 
+This section studies the numerical conditions that $u$ must satisfy as per
+lemma \ref{lem:pseudo_wall_numerical_tests}
+(or corrolary \ref{cor:numerical-test-left-pseudowalls-rational-betamin}).
+
 \subsubsection{Size of pseudo-wall: $\chern_2^P(u)>0$ }
 \label{subsect-d-bound-radiuscond}
 
-- 
GitLab