From 00cf1a93e73c46c5b31bb1649fac484eb6f3d869 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Tue, 17 Oct 2023 13:08:17 +0200
Subject: [PATCH] Lecture 3

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

diff --git a/inputs/lecture_03.tex b/inputs/lecture_03.tex
index a8570f6..d47ef80 100644
--- a/inputs/lecture_03.tex
+++ b/inputs/lecture_03.tex
@@ -140,7 +140,7 @@
     Then let $f(x)$ be the unique point in $X$ 
     such that
     \[
-    \{f(x)\}  = \bigcap_{n}  U_{x \defon n} = \bigcap_{n} \overline{U_{x \defon n}.
+    \{f(x)\}  = \bigcap_{n}  U_{x \defon n} = \bigcap_{n} \overline{U_{x \defon n}}.
     \] 
     (This is nonempty as $X$ is a completely metrizable space.)
     It is clear that $f$ is injective and continuous.