garden

10 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	1d9f537b86	Added missing citation for the C0 Riesz representation theorem. Compile Project / Compile (push) Successful in 20s Details	2026-03-20 00:05:57 -04:00
Bokuan Li	aa4756e941	Adjusted citation formats. Moved citation off of named theorems if possible. Compile Project / Compile (push) Successful in 22s Details	2026-03-19 23:58:16 -04:00
Bokuan Li	f9275656f4	Added a remark on the Singer representation theorem. Compile Project / Compile (push) Successful in 20s Details	2026-03-19 23:44:32 -04:00
Bokuan Li	c21b16d336	Added the Singer representation theorem.	2026-03-19 23:38:04 -04:00
Bokuan Li	f25600cbd3	More typo fixes. Compile Project / Compile (push) Successful in 17s Details	2026-03-17 15:34:02 -04:00
Bokuan Li	16e6beb117	Replaced mentions of normed spaces to normed vector spaces. Compile Project / Compile (push) Successful in 17s Details	2026-03-17 15:18:31 -04:00
Bokuan Li	ae69a73fba	Fixed typo in isometry proof. Compile Project / Compile (push) Successful in 17s Details	2026-03-16 21:10:21 -04:00
Bokuan Li	b591904469	Added the dual of c0. Compile Project / Compile (push) Successful in 17s Details	2026-03-16 21:05:12 -04:00
Bokuan Li	8e7e55e8b3	Added monotone convergence for LSC functions. 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