remove final stealth definition

blueprint/src/chapter/frey.tex

@@ -8,14 +8,14 @@ \section{Hardly ramified representations}
 
 We make the following definition (this is not in the literature but it is a useful concept for us). We discuss the meaning of some of the concepts involved afterwards.
 
-\begin{stealthdefinition} Let $p\geq5$ be a prime. A representation $\rho: \GQ\to \GL_2(\Z/p\Z)$ is said to be \emph{hardly ramified} if it satisfies the following four axioms:
+\begin{definition} Let $p\geq5$ be a prime. A representation $\rho: \GQ\to \GL_2(\Z/p\Z)$ is said to be \emph{hardly ramified} if it satisfies the following four axioms:
   \begin{enumerate}
   \item $\det(\rho)$ is the mod $p$ cyclotomic character;
   \item $\rho$ is unramified outside $2p$;
   \item The semisimplification of the restriction of $\rho$ to is unramified.
   \item The restriction of $\rho$ to $\GQp$ comes from a finite flat group scheme;
   \end{enumerate}
-\end{stealthdefinition}
+\end{definition}
 
 The theorem we want to discuss in this section is: