garden

9 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	575cd66ad8	Added the existence of projections. Compile Project / Compile (push) Successful in 52s Details	2026-08-09 15:40:56 -04:00
Bokuan Li	c7cca8820c	Added Krein-Milman for measures.	2026-07-07 20:49:57 -04:00
Bokuan Li	f5ebcd7979	Reworked the order chapter.	2026-07-07 14:40:27 -04:00
Bokuan Li	65a2b4cef4	FIxed up lattices. Compile Project / Compile (push) Successful in 42s Details	2026-06-29 12:37:13 -04:00
Bokuan Li	597a92b006	Adjusted wording for the sequential statement. Compile Project / Compile (push) Successful in 41s Details	2026-06-16 21:09:48 -04:00
Bokuan Li	97372173e1	Fixed regex incident. Compile Project / Compile (push) Successful in 27s Details	2026-05-05 02:00:05 -04:00
Bokuan Li	0f2e69d1f9	Polished A-A and added new lines for broken enumerates. Compile Project / Compile (push) Failing after 12s Details	2026-05-05 01:50:35 -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	69c4e5e030	Added vector lattices.	2026-03-16 16:01:07 -04:00