From 787f89e3a6d0529552bb70755db18df15e676d41 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Mon, 1 Jun 2026 17:30:38 -0400
Subject: [PATCH] Fixed wrong theorem name.

---
 src/op/banach/spectrum.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/op/banach/spectrum.tex b/src/op/banach/spectrum.tex
index 2051d37..40964ca 100644
--- a/src/op/banach/spectrum.tex
+++ b/src/op/banach/spectrum.tex
@@ -69,8 +69,8 @@
     which tends to $0$ as $|\lambda| \to \infty$, $R_x \in H(\complex; A) \cap C_0(\complex; A)$. By \hyperref[Liouville's Theorem]{theorem:liouville}, $R_x = 0$, which is impossible. 
 \end{proof}
 
-\begin{theorem}[Gelfand-Naimark]
-\label{theorem:gelfand-naimark}
+\begin{theorem}[Gelfand-Mazur]
+\label{theorem:gelfand-mazur}
     Let $A$ be a unital Banach algebra. If every non-zero element of $A$ is invertible, then $A$ is isometrically isomorphic to $\complex$. 
 \end{theorem}
 \begin{proof}