garden

Author	SHA1	Message	Date
Bokuan Li	51a74243a0	Added the spectral integral isomorphism.	2026-08-15 15:34:26 -04:00
Bokuan Li	0cecf7a27a	Fixed small typos. Compile Project / Compile (push) Successful in 54s Details	2026-08-14 20:54:09 -04:00
Bokuan Li	9530f806b1	Fixed some typos. Compile Project / Compile (push) Successful in 51s Details	2026-08-14 20:42:33 -04:00
Bokuan Li	421233bf4d	Added first draft of the Borel functional calculus. Compile Project / Compile (push) Successful in 50s Details	2026-08-14 20:28:23 -04:00
Bokuan Li	b51f12a338	Added the extended inverse Gelfand transform.	2026-08-14 20:10:47 -04:00
Bokuan Li	22a8d18845	Added trolling.	2026-08-12 22:40:04 -04:00
Bokuan Li	05bc2c6820	Changed label format.	2026-08-11 18:20:09 -04:00
Bokuan Li	2177baf09d	Added the Kaplansky Density Theorem. Compile Project / Compile (push) Successful in 53s Details	2026-08-11 16:18:48 -04:00
Bokuan Li	6a53d4d107	Added a continuity result in strong operator topology.	2026-08-11 13:40:24 -04:00
Bokuan Li	5d8a956d0c	Added the bicommutant theorem. Compile Project / Compile (push) Successful in 53s Details	2026-08-10 16:03:07 -04:00
Bokuan Li	56d081628f	Updated citation on the existence of projections.	2026-08-09 16:08:57 -04:00
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	1bc1b17fee	Added elementary properties of adjoint maps. Compile Project / Compile (push) Successful in 50s Details	2026-08-08 19:39:18 -04:00
Bokuan Li	ae2fc8147f	Added basic topology facts about B(H). Compile Project / Compile (push) Successful in 56s Details	2026-08-08 16:01:28 -04:00
Bokuan Li	8a9ecc85f3	Added a bit of von Neumann.	2026-08-08 15:49:56 -04:00