From 4d1690088f7c703376b050df0fa87e46bf256230 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Thu, 8 Feb 2024 18:11:45 +0100
Subject: [PATCH] fixed typo

---
 inputs/lecture_19.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inputs/lecture_19.tex b/inputs/lecture_19.tex
index 569a5f8..b263d67 100644
--- a/inputs/lecture_19.tex
+++ b/inputs/lecture_19.tex
@@ -195,7 +195,7 @@ Such a factor $(Y,T)$ is called a \vocab{maximal isometric extension} of $(Z,T)$
 \end{tikzcd}\]
 
     Suppose that whenever $y \neq y' \in Y$,
-    then either % TODO REALLY?
+    then % either % TODO REALLY?
     $\pi_1(y) \neq \pi(y')$
     or $\pi_2(y) \neq  \pi_2(y')$.