Add label to FLT and mark it as tangled

ImperialCollegeLondon · Nov 25, 2023 · 6a20383 · 6a20383
1 parent bf94d3c
commit 6a20383
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/blueprint/src/chapter/introduction.tex b/blueprint/src/chapter/introduction.tex
@@ -2,7 +2,7 @@ \chapter{An overview of the proof.}
 
 Fermat's Last Theorem is the following statement:
 
-\begin{theorem}[Fermat's Last Theorem]\lean{FLT} 
+\begin{theorem}[Fermat's Last Theorem]\label{FLT}\tangled
 If $a,b,c,n$ are positive integers with $n\geq 3$, then $a^n+b^n\not=c^n$.
 \end{theorem}
 

diff --git a/blueprint/src/macro/print.tex b/blueprint/src/macro/print.tex
@@ -13,3 +13,4 @@
 \newcommand{\proves}[1]{}
 \newcommand{\lean}[1]{}
 \newcommand{\leanok}{}
+\newcommand{\tangled}{}