jerrylicious
0 Followers · 0 Following
  • Joined on 2026-03-11
Repositories
3
 Projects Packages Public Activity Starred Repositories
jerrylicious pushed to main at jerrylicious/garden 2026-03-22 00:15:46 +01:00
50c231f543 Updated the dyadic rational numbers and RS integrals.
jerrylicious pushed to main at jerrylicious/garden 2026-03-20 20:18:14 +01:00
d7d5db5f90 Typo fix.
jerrylicious pushed to main at jerrylicious/garden 2026-03-20 05:13:10 +01:00
780d5d362e Fixed typo in the Singer representation remark.
jerrylicious pushed to main at jerrylicious/garden 2026-03-20 05:06:01 +01:00
1d9f537b86 Added missing citation for the C0 Riesz representation theorem.
jerrylicious pushed to main at jerrylicious/garden 2026-03-20 04:59:39 +01:00
aa4756e941 Adjusted citation formats. Moved citation off of named theorems if possible.
jerrylicious pushed to main at jerrylicious/garden 2026-03-20 04:44:40 +01:00
f9275656f4 Added a remark on the Singer representation theorem.
c21b16d336 Added the Singer representation theorem.
051bae6096 Fixed typo in Hahn-Banach.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-19 17:06:08 +01:00
9ce4986002 Added Fubini's theorem.
af28d174f2 Added remarks regarding the projective tensor product.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-18 22:31:09 +01:00
813cff3c81 Fixed typo.
jerrylicious pushed to main at jerrylicious/garden 2026-03-18 22:26:25 +01:00
1cb04f668b Added a characterisation of L^p.
fdd4d752e9 Added the algebraic tensor product.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 20:34:04 +01:00
f25600cbd3 More typo fixes.
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 20:32:47 +01:00
c26e3fdfcb Minor typo fix.
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 20:30:44 +01:00
dd49a42b4a Typo fixes.
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 20:18:40 +01:00
16e6beb117 Replaced mentions of normed spaces to normed vector spaces.
37a5ce14bf Added the Bochner integral.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 02:10:25 +01:00
ae69a73fba Fixed typo in isometry proof.
jerrylicious pushed to main at jerrylicious/garden 2026-03-17 02:05:22 +01:00
b591904469 Added the dual of c0.
69c4e5e030 Added vector lattices.
ef91d9f91b Various typo fixes.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-16 03:14:10 +01:00
8e7e55e8b3 Added monotone convergence for LSC functions.
06f7874de3 Moved Radon measures to their own section.
b5126e965b Added facts about vector measures.
2e160500cc Added Riemann's rearrangement theorem.
62a8e78dfe Typo fixes.
Compare 5 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-15 02:16:57 +01:00
f951ccccdf Updated proof for C0 space.
1200e0bce0 Added the c0 space.
4687e9e4fc Added Lusin's theorem.
3778616075 Added Egoroff's theorem.
d3d5dc62e1 Added convergence in measure.
Compare 5 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-03-13 03:36:57 +01:00
6bb13c3c53 Typo fix.
jerrylicious pushed to main at jerrylicious/garden 2026-03-13 03:29:43 +01:00
532bced3b7 Fixed some typos.
jerrylicious pushed to main at jerrylicious/garden 2026-03-13 03:05:58 +01:00
68ec8c38a7 Updated spec config.
61f66523e0 Prepare for migration into spec.
9139ee3296 Housekeeping for VS code.
139f5b8a99 Housekeeping.
99f57be39e Housekeeping.
Compare 10 commits »