From 03e7899904622984549cf05fed16f5f96070f34b Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 26 Jun 2026 00:45:59 -0400
Subject: [PATCH] Added the Mackey-Arens theorem (for real).

---
 src/fa/duality/index.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/fa/duality/index.tex b/src/fa/duality/index.tex
index 13b2f04..eca8a4f 100644
--- a/src/fa/duality/index.tex
+++ b/src/fa/duality/index.tex
@@ -3,5 +3,6 @@
 
 \input{./definitions.tex}
 \input{./polar.tex}
+\input{./mackey.tex}