From 1d9f537b8630c88fca610ad9980fd2bd468a6069 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 20 Mar 2026 00:05:57 -0400
Subject: [PATCH] Added missing citation for the C0 Riesz representation
 theorem.

---
 src/measure/radon/c0.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/measure/radon/c0.tex b/src/measure/radon/c0.tex
index bd39ad0..470d687 100644
--- a/src/measure/radon/c0.tex
+++ b/src/measure/radon/c0.tex
@@ -47,7 +47,7 @@
 
     is an isometric isomorphism. 
 \end{theorem}
-\begin{proof}
+\begin{proof}[Proof {{\cite[Theorem 7.17]{Folland}}}. ]
     Let $f \in C_0(X; \complex)$, then
     \[
     \abs{\int f d\mu} \le \int \norm{f}_u d\mu \le \norm{f}_u \cdot |\mu|(X)