From 3a0e5cc3518e2788a0350d480f08d18c3059d006 Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Sat, 16 May 2026 21:49:56 -0400 Subject: [PATCH] Fixed typo. --- src/dg/complex/derivative.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dg/complex/derivative.tex b/src/dg/complex/derivative.tex index c7bbe7d..fab4f19 100644 --- a/src/dg/complex/derivative.tex +++ b/src/dg/complex/derivative.tex @@ -277,7 +277,7 @@ (4) $\Rightarrow$ (1): By \autoref{theorem:termwise-differentiation}. - (5) $\Rightarrow$ (3): By the equivalence of the prior points, for any $\phi \in E^*$, $\phi \circ f$ satisfies (3). By the \autoref[Hahn-Banach Theorem]{proposition:hahn-banach-utility}, $f$ also satisfies (3). + (5) $\Rightarrow$ (3): By the equivalence of the prior points, for any $\phi \in E^*$, $\phi \circ f$ satisfies (3). By the \hyperref[Hahn-Banach Theorem]{proposition:hahn-banach-utility}, $f$ also satisfies (3). \end{proof}