From 66b7b062006d07b01dbb6fdd227a6a61dfc2cbe8 Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Tue, 17 Oct 2023 16:21:02 +0200
Subject: [PATCH] Lecture 03

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

diff --git a/inputs/lecture_03.tex b/inputs/lecture_03.tex
index d47ef80..8d354de 100644
--- a/inputs/lecture_03.tex
+++ b/inputs/lecture_03.tex
@@ -251,6 +251,8 @@
 
 
 
+    [To be continued]
+    \phantom\qedhere
 
 \end{refproof}