From 6bb13c3c53194390db50d4828c891522769ad1ec Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Thu, 12 Mar 2026 22:36:53 -0400
Subject: [PATCH] Typo fix.

---
 src/fa/lc/inductive.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/lc/inductive.tex b/src/fa/lc/inductive.tex
index 072544f..1643234 100644
--- a/src/fa/lc/inductive.tex
+++ b/src/fa/lc/inductive.tex
@@ -174,7 +174,7 @@
     \end{itemize}
     In which case, since $U_{k} \supset U_{k+1}$ for all $k \in \natp$,
     \[
-    \underbracs{y - \sum_{k = 1}^n \lambda_kx_k}_{\in E_n} = \underbrace{z + \sum_{k = n + 1}^N \lambda_kx_k}_{\in F_n + U_n}
+    \underbrace{y - \sum_{k = 1}^n \lambda_kx_k}_{\in E_n} = \underbrace{z + \sum_{k = n + 1}^N \lambda_kx_k}_{\in F_n + U_n}
     \]
 
     which is impossible. Therefore $(F_n + U) \cap E_n = \emptyset$ for all $n \in \natp$.