test

blueprint/src/demo.tex

@@ -406,7 +406,7 @@ \section{Kummer's Lemma}
 
 
 \begin{lemma}\label{lem:exists_alg_int}
-	\lean{exists_alg_int}
+	%\lean{exists_alg_int}
 	\leanok
 	Let $K$ be a number fields and $\a \in K$. Then there exists a $n \in \ZZ\backslash\{0\}$ such that $n \a$ is an algebraic integer.
 \end{lemma}