Added the Mackey-Arens theorem (for real).

2026-06-26 00:45:59 -04:00
parent fbdf280f11
commit 03e7899904
1 changed files with 1 additions and 0 deletions
--- 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}