fixed noproof message

2021-11-27 16:23:29 +01:00 · 2021-11-27 16:23:29 +01:00 · 7626d0f873
commit 7626d0f873
parent 83679c99fd
2 changed files with 801 additions and 798 deletions
--- a/chapters/sections/compact_linear_operators.tex
+++ b/chapters/sections/compact_linear_operators.tex
@ -261,7 +261,7 @@
    where $E_{\lambda} = \tilde{E}_{2\arctan\lambda}, ~\lambda \in \realn$.
 \end{thm}
 \begin{proof}
-    \proof
+    \noproof
 \end{proof}

 \begin{rem}