From 3113e1da04d2a889840c5d4bbdff0e6525b121f3 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 10 Jul 2026 18:38:50 -0400
Subject: [PATCH] Fixed typo.

---
 src/topology/main/compact.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/topology/main/compact.tex b/src/topology/main/compact.tex
index db05182..8cf2c96 100644
--- a/src/topology/main/compact.tex
+++ b/src/topology/main/compact.tex
@@ -19,9 +19,7 @@
     U_J = \bigcup_{j \in J}E_j^c
     \]
 
-    then $U_J \subset X$ is open. For any $J, J' \subset I$, $U_J \cup U_{J'} = U_{J \cup J'}$.
-
-    Suppose for contradiction that $\bigcap_{i \in I}E_i = \emptyset$, then
+    then $U_J \subset X$ is open. Suppose for contradiction that $\bigcap_{i \in I}E_i = \emptyset$, then
     \[
     \mathbf{U} = \bracs{U_J|J \subset I \text{ finite}}
     \]