From 4a2732444240f231e64d8329d3bc25b42922c981 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Tue, 24 Oct 2023 10:34:43 +0200
Subject: [PATCH] fixed label

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

diff --git a/inputs/lecture_03.tex b/inputs/lecture_03.tex
index fb71262..7e97364 100644
--- a/inputs/lecture_03.tex
+++ b/inputs/lecture_03.tex
@@ -1,8 +1,7 @@
 \lecture{03}{2023-10–23}{Cantor-Bendixson}
 
 \begin{theorem}[Cantor-Bendixson]
-    \yaref{thm:cantorbendixson}{Cantor-Bendixson}{Cantor-Bendixson}
-
+    \yalabel{thm:cantorbendixson}{Cantor-Bendixson}{Cantor-Bendixson}
     If $A \subseteq  \R$ is closed,
     it is either at most countable or else
     $A$ contains a perfect set.