From 22ce40afa2272927b0dea22c20dcb1f95ddd70c9 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Tue, 21 Jul 2026 20:56:11 -0400
Subject: [PATCH] Fixed minor typo.

---
 src/fa/norm/ap.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/norm/ap.tex b/src/fa/norm/ap.tex
index 6f61758..1a0b7f2 100644
--- a/src/fa/norm/ap.tex
+++ b/src/fa/norm/ap.tex
@@ -235,7 +235,7 @@
 
 \begin{corollary}[Existence of Continuous Trace]
 \label{corollary:trace-existence-approx}
-    Let $E$ a Banach spaces over $K \in \RC$ with the approximation property, then there exists a unique $\tr \in N(E; E)^*$ such that for each $\phi \in E^*$ and $x \in E$, $\tr(\phi \otimes y) = \dpn{y, \phi}{E}$.
+    Let $E$ a Banach space over $K \in \RC$ with the approximation property, then there exists a unique $\tr \in N(E; E)^*$ such that for each $\phi \in E^*$ and $x \in E$, $\tr(\phi \otimes y) = \dpn{y, \phi}{E}$.
 \end{corollary}
 \begin{proof}
     By (U) of the \hyperref[projective tensor product]{definition:projective-tensor-product} and the isomorphism $E^* \wh \otimes_\pi E \iso N(E; E)$ from \autoref{corollary:approximation-property-nuclear}.