Tweak main lemma to be more consistent with defs

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}