Update 2-case2.tex

pitmonticone · Apr 11, 2024 · d1721f9 · d1721f9
1 parent 8ca3cb9
commit d1721f9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/blueprint/src/chapters/2-case2.tex b/blueprint/src/chapters/2-case2.tex
@@ -600,7 +600,8 @@ \chapter*{Case 2}
     \label{def:Solution_u1_u2_u3_u4_u5_X_Y_Z}
     %\lean{}
     \leanok
-    \uses{def:Solution}
+    \uses{def:Solution, lmm:x_eq_unit_mul_cube,
+    lmm:y_eq_unit_mul_cube, lmm:z_eq_unit_mul_cube}
     Let $S$ be a $solution$.\\\\
     We define $u_1 \in \cc{O}^\times_K$ and $X \in \cc{O}_K$
     such that $x = u_1 \cdot X^3$.\\