up

pitmonticone · Apr 7, 2024 · 6382593 · 6382593
1 parent fc03295
commit 6382593
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/blueprint/src/chapters/2-case2.tex b/blueprint/src/chapters/2-case2.tex
@@ -136,7 +136,10 @@ \chapter*{Case 2}
 \begin{proof}
     \leanok
     \uses{
-
+    def:Solution',
+    %lmm:exists_Solution_of_Solution',
+    %lmm:Solution.exists_minimal,
+    %lmm:Solution.exists_Solution_multiplicity_lt
     }
 \end{proof}
 

diff --git a/blueprint/src/chapters/3-conclusion.tex b/blueprint/src/chapters/3-conclusion.tex
@@ -51,9 +51,5 @@ \chapter*{Conclusion}
     \uses{
     lmm:FermatLastTheoremForThree_of_FermatLastTheoremThreeGen,
     thm:fermatLastTheoremForThreeGen
-    %def:Solution',
-    %lmm:exists_Solution_of_Solution',
-    %lmm:Solution.exists_minimal,
-    %lmm:Solution.exists_Solution_multiplicity_lt
 }
 \end{proof}