jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
460 Commits 1 Branch 0 Tags
1490514227d5884d6d9e6944772be7640466d100
Commit Graph

8 Commits

Author SHA1 Message Date
Bokuan Li
1490514227 First draft of type decomposition. 2026-08-26 19:25:58 -04:00
Bokuan Li
8f0998d52f Added projections.
All checks were successful
Compile Project / Compile (push) Successful in 50s
Details
2026-08-24 17:41: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.
All checks were successful
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.
All checks were successful
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.
All checks were successful
Compile Project / Compile (push) Successful in 52s
Details
2026-08-09 15:40:56 -04:00