Update 2-case2.tex

pitmonticone · Apr 9, 2024 · 0cac01b · 0cac01b
1 parent 9799d2f
commit 0cac01b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/blueprint/src/chapters/2-case2.tex b/blueprint/src/chapters/2-case2.tex
@@ -88,7 +88,7 @@ \chapter*{Case 2}
 \begin{proof}
     \leanok
     \uses{
-    lmm:fermatLastTheoremWith_of_fermatLastTheoremWith_coprime
+    lmm:fermatLastTheoremWith_of_fermatLastTheoremWith_coprime,
     thm:fermatLastTheoremThree_case_1,
     lmm:three_dvd_gcd_of_dvd_a_of_dvd_b,
     lmm:three_dvd_gcd_of_dvd_a_of_dvd_c,