garden

13 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	b134e50126	Added some harmonic analysis.	2026-09-27 18:55:13 -04:00
Bokuan Li	ff22fad2f8	Updated the existing system to accomodate scaffolds. Compile Project / Compile (push) Successful in 38s Details	2026-06-29 17:43:02 -04:00
Bokuan Li	6441352421	Fixed wrong proof marker. Compile Project / Compile (push) Successful in 32s Details	2026-06-03 17:24:30 -04:00
Bokuan Li	668679063b	Added some example facts.	2026-06-03 16:56:40 -04:00
Bokuan Li	02bd8479bc	Added path lemma. Compile Project / Compile (push) Successful in 35s Details	2026-05-27 22:59:06 -04:00
Bokuan Li	5923b45f9d	Added Urysohn Metrisation theorem and compactness theorems. Compile Project / Compile (push) Successful in 29s Details	2026-05-26 19:32:02 -04:00
Bokuan Li	964cb2450a	Typo fix. Compile Project / Compile (push) Successful in 38s Details	2026-05-25 17:16:54 -04:00
Bokuan Li	ce56f5d167	Adjusted organisation in the TVS chapter.	2026-05-05 21:58:54 -04:00
Bokuan Li	1e53581113	Added bornological spaces.	2026-05-02 15:59:03 -04:00
Bokuan Li	2219ce0b15	Added barreled spaces. Compile Project / Compile (push) Successful in 23s Details	2026-05-01 16:27:14 -04:00
Bokuan Li	b5126e965b	Added facts about vector measures.	2026-03-15 19:30:28 -04:00
Bokuan Li	d3d5dc62e1	Added convergence in measure.	2026-03-14 17:54:58 -04:00
Bokuan Li	9139ee3296	Housekeeping for VS code.	2026-03-06 15:45:31 -05:00