From c7712a5e08703cf32193aad10feb5c5ac8714029 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 30 Jan 2024 16:12:16 +0000
Subject: [PATCH] Remove use of old redefine

---
 main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.tex b/main.tex
index b0dccc2..a0ed17c 100644
--- a/main.tex
+++ b/main.tex
@@ -1549,7 +1549,7 @@ And evaluating $f_1$ at this $q$-value gives:
 \begin{equation*}
 	\sage{main_theorem1.corollary_intermediate}
 \end{equation*}
-Finally, noting that $\originalDelta(v)=\psi^2\ell^2$, we get the bound as
+Finally, noting that $\Delta(v)=\psi^2\ell^2$, we get the bound as
 stated in the corollary.
 
 \end{proof}
-- 
GitLab