fixed label

2023-10-24 10:48:41 +02:00 · 2023-10-24 10:48:41 +02:00 · fb2c5b2715
commit fb2c5b2715
parent 4a27324442
2 changed files with 7 additions and 10 deletions
--- a/inputs/lecture_03.tex
+++ b/inputs/lecture_03.tex
@ -1,7 +1,7 @@
 \lecture{03}{2023-10–23}{Cantor-Bendixson}

 \begin{theorem}[Cantor-Bendixson]
-    \yalabel{thm:cantorbendixson}{Cantor-Bendixson}{Cantor-Bendixson}
+    \yalabel{Cantor-Bendixson}{Cantor-Bendixson}{thm:cantorbendixson}
    If $A \subseteq  \R$ is closed,
    it is either at most countable or else
    $A$ contains a perfect set.
@ -127,6 +127,3 @@ all condensation points are accumulation points.
 %     is at most countable.
 %     Also $A'$ is closed.
 % \end{remark}
-
-
-