From 1e35e182cf33e59c157a58d1e2cbe83490b39780 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Wed, 7 Feb 2024 23:28:29 +0100
Subject: [PATCH] fixed typo in gist

---
 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 91b6a76..07a96ec 100644
--- a/inputs/lecture_19.tex
+++ b/inputs/lecture_19.tex
@@ -250,7 +250,7 @@ More generally we can show:
     $(X'_\xi, T) = \theta((X_\xi, T)$.
     Let $\pi_\xi$ and $\pi'_\xi$ denote the maps from $X$ to $X_\xi$ resp.~$X'_\xi$.
     Set
-    \[Y \coloneqq \{(\pi_\xi(x), \pi'_{\xi+1}(x)) \in X_\xi \times  X'_{\xi+ 1}: x \in X\} \subseteq X \times X'_{\xi+1}.\]
+    \[Y \coloneqq \{(\pi_\xi(x), \pi'_{\xi+1}(x)) \in X_\xi \times  X'_{\xi+ 1}: x \in X\}\]
     Then
 
     % https://q.uiver.app/#q=WzAsNSxbMCwwLCIoWF97XFx4aSsxfSxUKSJdLFsyLDAsIihZLFQpIl0sWzMsMSwiKFgnX3tcXHhpKzF9LFQpIl0sWzIsMiwiKFgnX1xceGksVCkiXSxbMSwxLCIoWF9cXHhpLFQpIl0sWzAsNCwiXFx0ZXh0e21heC5+aXNvfSIsMV0sWzQsMywiXFx0aGV0YSIsMV0sWzIsMywie1xcY29sb3J7b3JhbmdlfVxcdGV4dHtpc299fSIsMV0sWzEsNCwie1xcY29sb3J7b3JhbmdlfVxcdGV4dHtpc299fSIsMV0sWzEsMl0sWzAsMSwiIiwwLHsiY3VydmUiOi0xLCJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkYXNoZWQifX19XSxbMSwyLCJcXHBpJyIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6Im5vbmUifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFs3LDMsIlxcdGhldGEnIiwwLHsibGV2ZWwiOjEsInN0eWxlIjp7ImJvZHkiOnsibmFtZSI6Im5vbmUifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFsxLDgsIlxccGkiLDIseyJsZXZlbCI6MSwic3R5bGUiOnsiYm9keSI6eyJuYW1lIjoibm9uZSJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV1d