fix build

Author: kbuzzard

blueprint/src/chapter/ch03frey.tex

@@ -119,7 +119,7 @@ \section{Multiplicative reduction}
 We say that the reduction is \emph{split} if the two tangent lines at the ordinary double point
 are both defined over $R/\m$, and \emph{non-split} otherwise.
 
-\begin{lemma}{Frey_curve_mult_reduction} If $E$ is the Frey curve $Y^2=X(X-a^\ell)(X+b^\ell)$ associated to a Frey
+\begin{lemma}\label{Frey_curve_mult_reduction} If $E$ is the Frey curve $Y^2=X(X-a^\ell)(X+b^\ell)$ associated to a Frey
   package $(a,b,c,\ell)$, and if $p$ is an odd prime
   which divides $abc$, then $E$ has multiplicative reduction at~$p$.
 \end{lemma}
@@ -133,7 +133,7 @@ \section{Multiplicative reduction}
   is split multiplicative iff $x-y$ is a square mod $p$. We shall not need this fact.
 \end{remark}
 
-\begin{lemma}{Frey_curve_mult_reduction_at_two} If $E$ is the Frey curve $Y^2=X(X-a^\ell)(X+b^\ell)$ associated to a Frey package
+\begin{lemma}\label{Frey_curve_mult_reduction_at_two} If $E$ is the Frey curve $Y^2=X(X-a^\ell)(X+b^\ell)$ associated to a Frey package
   $(a,b,c,\ell)$ then $E$ has multiplicative reduction at 2. 
 \end{lemma}
 \begin{proof} Indeed, the change of variables $X=4X'$ 

blueprint/src/macro/common.tex

@@ -17,5 +17,6 @@
 \DeclareMathOperator{\Gal}{Gal}
 \DeclareMathOperator{\Aut}{Aut}
 \DeclareMathOperator{\GL}{GL}
+\DeclareMathOperator{\SL}{SL}
 \DeclareMathOperator{\sep}{sep}