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-10-13 23:38:08 +02:00
293353b44c SW revision.
eec5ed3ab6 Weierstrass approximation via Korovkin's Theorem, first draft.
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-10-13 21:16:00 +02:00
ad925b6c21 Disc algebra corrections.
e1c2d65b16 First draft of 1.10.
84da662437 Thank you Sam.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-10-08 01:32:36 +02:00
d0580b4790 Exercise 1.8.
jerrylicious pushed to main at jerrylicious/garden 2026-10-07 21:20:45 +02:00
2477900fbe Added second proof for von Neumann.
bdfcfcc283 Upgrade.
caa710b2d2 Thank you henry.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-10-07 01:28:59 +02:00
821efee26f Thank you Henry.
jerrylicious pushed to main at jerrylicious/garden 2026-10-07 01:04:49 +02:00
e99ca5818a Thank you Sam.
aa554ed126 Oopsies daisies
Compare 2 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 23:29:22 +02:00
0d2156d6f3 Exercise 1.7.
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 18:09:09 +02:00
a80013651a Problems 1.3 and 1.4.
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 16:00:13 +02:00
f2916de6f1 Oopsies daisies.
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 15:58:40 +02:00
2fa30181ed Cleaned up multiplicative domains.
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 04:31:53 +02:00
b29575d59a Fixed typos.
jerrylicious pushed to main at jerrylicious/garden 2026-10-06 04:23:15 +02:00
6341e8d81c Emergency push!
jerrylicious pushed to main at jerrylicious/garden 2026-10-04 01:09:56 +02:00
856f7d7be5 Added the start to operator systems.
3b02b438c7 Dynamics cleanup.
f2d633715a On that convolution race with Henry.
Compare 3 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-10-03 04:55:03 +02:00
5aac10e44b RETRACTION: WRONG COVERING RATIO INEQUALITY.
jerrylicious pushed to main at jerrylicious/garden 2026-10-03 04:16:33 +02:00
041c33c0fe Review.
f859d7e592 Thank you Henry
cd1499704f Corrections round 1.
a1a78d44d8 Oopsies daisies.
b5f58ec1e9 Collected notations. Thank you Claude.
Compare 14 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-09-26 22:35:01 +02:00
a932a4872d More typo fixes.
jerrylicious pushed to main at jerrylicious/garden 2026-09-26 22:33:34 +02:00
ef8baafa82 More corrections.
1cea2d3530 Revisions.
a67e55f88d Updated GNS.
da88b6e1c9 Final revision.
2d09d41e75 Revision.
Compare 6 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-09-25 03:50:38 +02:00
ff7031a4ae RETRACTION: wrong word used.
864586a997 Oopsies
a471de2b23 Oopsies daisies.
03e0118d53 Typo fixes.
0a17a5a4a1 Forgot to assume ultrafilter.
Compare 10 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-09-21 19:29:39 +02:00
9add6129c0 Stone-Cech.
d866e3e448 The $L^1$ Group Algebra is past revisions!
c7ab20155f Revision 1.
6414c49ab3 First draft of L^1.
c05faf4a77 Added minkowski's inequality for integrals.
Compare 14 commits »
jerrylicious pushed to main at jerrylicious/garden 2026-08-29 21:43:31 +02:00
926305e65c Fixed typo.