jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
126 Commits 1 Branch 0 Tags
34736f99a82a26bd5fe89586643b253a052cff85
Commit Graph
11 Commits
Author SHA1 Message Date
Bokuan Li 156c9e8728 Added missing steps and fixed typos.
Compile Project / Compile (push) Successful in 23s
Details
2026-03-22 00:45:15 -04:00
Bokuan Li c21b16d336 Added the Singer representation theorem. 2026-03-19 23:38:04 -04:00
Bokuan Li 16e6beb117 Replaced mentions of normed spaces to normed vector spaces.
Compile Project / Compile (push) Successful in 17s
Details
2026-03-17 15:18:31 -04:00
Bokuan Li 37a5ce14bf Added the Bochner integral. 2026-03-17 15:16:13 -04:00
Bokuan Li b5126e965b Added facts about vector measures. 2026-03-15 19:30:28 -04:00
Bokuan Li 2e160500cc Added Riemann's rearrangement theorem. 2026-03-15 14:44:36 -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 5ccfe39d3b Added relevant Hahn-Banach results. 2026-01-27 15:39:56 -05:00
Bokuan Li 307f23ad57 Me when I forget to commit. 2026-01-17 23:11:19 -05:00
Bokuan Li ee2599c04f Added the successive approximations. 2026-01-08 23:02:31 -05:00