From 945bfe9946ea550b6b1beff364a29309fc120047 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Mon, 13 Apr 2026 20:21:01 -0400
Subject: [PATCH] Fixed typos and migrated to new version.

---
 document.tex              | 2 ++
 spec.toml                 | 2 ++
 src/fa/lc/hahn-banach.tex | 2 +-
 src/fa/tvs/quotient.tex   | 2 +-
 4 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/document.tex b/document.tex
index 516eab5..1ca7f4a 100644
--- a/document.tex
+++ b/document.tex
@@ -4,6 +4,8 @@
 
 \begin{document}
 
+Hello this is all my notes. 
+
 \input{./src/cat/index}
 \input{./src/topology/index}
 \input{./src/fa/index}
diff --git a/spec.toml b/spec.toml
index b083c3a..567a079 100644
--- a/spec.toml
+++ b/spec.toml
@@ -19,4 +19,6 @@ searchLimit = 16
 maxSearchPages = 48
 recentChanges = 0
 tableOfContentsDepth = 2
+hoverPreview = false
+copyLabelButton = false
 advertiseSpec = true
diff --git a/src/fa/lc/hahn-banach.tex b/src/fa/lc/hahn-banach.tex
index 8e7a118..f72de95 100644
--- a/src/fa/lc/hahn-banach.tex
+++ b/src/fa/lc/hahn-banach.tex
@@ -77,7 +77,7 @@
 \begin{proof}
     By translation, assume without loss of generality that $0 \in A$. In which case, $A \in \cn^o(0)$ is convex.
 
-    Let $[\cdot]_A: E \to [0, \infty)$ be the \hyperref[gaugeg]{definition:gauge} of $A$, then $[\cdot]_A$ is a sublinear functional on $E$. For any $y, z \in E$ and $t > 0$ with $y, z \in tA$,
+    Let $[\cdot]_A: E \to [0, \infty)$ be the \hyperref[gauge]{definition:gauge} of $A$, then $[\cdot]_A$ is a sublinear functional on $E$. For any $y, z \in E$ and $t > 0$ with $y, z \in tA$,
     \[
     \abs{[y]_A - [z]_A} \le [y - z]_A \le t
     \]
diff --git a/src/fa/tvs/quotient.tex b/src/fa/tvs/quotient.tex
index dce4ede..2c14a72 100644
--- a/src/fa/tvs/quotient.tex
+++ b/src/fa/tvs/quotient.tex
@@ -23,7 +23,7 @@
 \begin{proof}
     Let $\td E = E/M$ be the algebraic quotient of $E$ by $M$, and equip it with the quotient topology by $\pi$.
 
-    (1): By \autoref{definition:quotient-topology}, for each $\pi(U) \subset E/M$, $\pi(U)$ is open if and only if $U$ is open. Since the topology on $E$ is translation-invariant, so is the quotient topology on $E/M$. Let
+    (1): For each $U \subset E$ open, $\pi^{-1}\pi(U) = U + M$ is open, so $\pi(U)$ is open as well by \autoref{definition:quotient-topology}. Since the topology on $E$ is translation-invariant, so is the quotient topology on $E/M$. Let
     \[
     \fB = \bracs{\pi(U)| U \in \cn(0) \text{ circled and radial}}
     \]