From 3d608a35a44deb15419e7723cc2906641c968d42 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Sun, 23 Jul 2023 18:57:26 +0100
Subject: [PATCH] Tweak main lemma to be more consistent with defs
---
main.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/main.tex b/main.tex
index 48d1122..abe5699 100644
--- a/main.tex
+++ b/main.tex
@@ -428,7 +428,7 @@ are equivalent to the following more numerical conditions:
\begin{enumerate}
\item $u$ has positive rank
\item $\beta(P)<\mu(u)<\mu(v)$, i.e. $V_u$ is strictly between $P$ and $V_v$.
- \item $\chern_1^{\beta(P)}(v-u)\geq0$, $\Delta(v-u) \geq 0$
+ \item $\chern_1^{\beta(P)}(u) \leq \chern_1^{\beta(P)}(v)$, $\Delta(v-u) \geq 0$
\item $\chern_2^{P}(u)>0$
\end{enumerate}
\end{lemma}
--
GitLab