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}