garden

Author	SHA1	Message	Date
Bokuan Li	8faaa8dab4	Added the injective tensor product. All checks were successful Compile Project / Compile (push) Successful in 43s Details	2026-08-07 15:50:54 -04:00
Bokuan Li	f80c788ca2	Added nuclear spaces. All checks were successful Compile Project / Compile (push) Successful in 46s Details	2026-07-14 20:31:59 -04:00
Bokuan Li	d1ddf9f64b	Added nuclear operators. All checks were successful Compile Project / Compile (push) Successful in 40s Details	2026-07-13 15:36:06 -04:00
Bokuan Li	5923b45f9d	Added Urysohn Metrisation theorem and compactness theorems. All checks were successful Compile Project / Compile (push) Successful in 29s Details	2026-05-26 19:32:02 -04:00
Bokuan Li	2219ce0b15	Added barreled spaces. All checks were successful Compile Project / Compile (push) Successful in 23s Details	2026-05-01 16:27:14 -04:00
Bokuan Li	1cb04f668b	Added a characterisation of L^p. All checks were successful Compile Project / Compile (push) Successful in 19s Details	2026-03-18 17:26:17 -04:00
Bokuan Li	b5126e965b	Added facts about vector measures.	2026-03-15 19:30:28 -04:00
Bokuan Li	5034bc4220	Cleanup	2026-03-06 14:06:15 -05:00
Bokuan Li	173727665b	Symmetry of the derivative (normed/frechet).	2026-02-03 17:57:07 -05:00
Bokuan Li	d63c2e794f	Added some limits.	2026-01-29 12:28:15 -05:00
Bokuan Li	354c8e0053	Added projective limits for LC spaces.	2026-01-28 13:57:49 -05:00
Bokuan Li	22c82cc7c0	Added quotients of TVSs.	2026-01-23 17:29:32 -05:00
Bokuan Li	abbed78434	Progress over the past week.	2026-01-05 20:10:39 -05:00
Bokuan Li	e8d394a2ac	Updated content.	2026-01-01 03:50:45 -05:00

14 Commits