garden

Author	SHA1	Message	Date
Bokuan Li	c21b16d336	Added the Singer representation theorem.	2026-03-19 23:38:04 -04:00
Bokuan Li	16e6beb117	Replaced mentions of normed spaces to normed vector spaces. All checks were successful Compile Project / Compile (push) Successful in 17s Details	2026-03-17 15:18:31 -04:00
Bokuan Li	8e7e55e8b3	Added monotone convergence for LSC functions. All checks were successful Compile Project / Compile (push) Successful in 20s Details	2026-03-15 22:13:55 -04:00
Bokuan Li	06f7874de3	Moved Radon measures to their own section.	2026-03-15 20:12:14 -04:00