From b75d97e94a5b1d1bb58fefad85eb4063c9dbca93 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Fri, 7 Aug 2026 20:14:59 -0400
Subject: [PATCH] Linked existence of the weak integral.

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

diff --git a/src/measure/index.tex b/src/measure/index.tex
index c5d1489..89049e7 100644
--- a/src/measure/index.tex
+++ b/src/measure/index.tex
@@ -8,5 +8,6 @@
 \input{./measurable-maps/index.tex}
 \input{./lebesgue-integral/index.tex}
 \input{./bochner-integral/index.tex}
+\input{./weak-integral/index.tex}
 \input{./lcg/index.tex}
 \input{./notation.tex}