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

330 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bokuan Li
5b1e0f86e6 Added missing justification.
All checks were successful
Compile Project / Compile (push) Successful in 41s
Details
2026-06-14 23:09:35 -04:00
Bokuan Li
33c6a6775d Fixed typos.
All checks were successful
Compile Project / Compile (push) Successful in 46s
Details
2026-06-14 22:59:26 -04:00
Bokuan Li
b2ef9f2736 Added the Vitali-Hahn-Saks theorem.
All checks were successful
Compile Project / Compile (push) Successful in 39s
Details
2026-06-14 22:55:23 -04:00
Bokuan Li
1ec807a9ca Removed pretentiousness. 2026-06-14 21:29:15 -04:00
Bokuan Li
16baef24e7 Oxford? comma. 2026-06-14 21:26:17 -04:00
Bokuan Li
b8df875d0f Actually added the Radon-Nikodym theorem.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details
2026-06-14 21:24:26 -04:00
Bokuan Li
754cba965b Added the Radon-Nikodym theorem for finite measures.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-06-14 21:20:35 -04:00
Bokuan Li
df1d959331 Added the basics of Hilbert spaces.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-06-14 17:01:52 -04:00
Bokuan Li
9ec4eea839 Added the method of complex interpolation.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
2026-06-10 23:39:46 -04:00
Bokuan Li
1c211eac9a Housekeeping. 2026-06-10 15:16:43 -04:00
Bokuan Li
60c2144e9e Added a bit of interpolation spaces.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
2026-06-09 22:10:48 -04:00
Bokuan Li
4f613e6d40 Added Hadamard's Three Lines Lemma. 2026-06-09 21:00:52 -04:00
Bokuan Li
99d772d1c8 Added the Riesz decomposition.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details
2026-06-05 21:57:02 -04:00
Bokuan Li
09a94756ea Added basics of C*-algebras.
All checks were successful
Compile Project / Compile (push) Successful in 34s
Details
2026-06-04 17:54:06 -04:00
Bokuan Li
7ce835cef2 Added sneaky interpolation functor jokes. 2026-06-04 16:45:03 -04:00
Bokuan Li
2444406ec1 Added facts about C_0. 2026-06-04 16:31:26 -04:00
Bokuan Li
13a0e07b72 Fixed some numbering problems. 2026-06-04 13:41:05 -04:00
Bokuan Li
ebead6c022 Added the unitisation. 2026-06-04 13:39:55 -04:00
Bokuan Li
6441352421 Fixed wrong proof marker.
All checks were successful
Compile Project / Compile (push) Successful in 32s
Details
2026-06-03 17:24:30 -04:00
Bokuan Li
677a396e24 Fixed missing citation.
All checks were successful
Compile Project / Compile (push) Successful in 31s
Details
2026-06-03 17:13:07 -04:00
Bokuan Li
6c9c479198 Adjusted prose in example facts.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-06-03 17:08:55 -04:00
Bokuan Li
668679063b Added some example facts. 2026-06-03 16:56:40 -04:00
Bokuan Li
f72f815c72 Added basic facts about the Gelfand transform. 2026-06-03 15:44:13 -04:00
Bokuan Li
56f3ae37f7 Slight adjustments in known results. 2026-06-03 14:37:13 -04:00
Bokuan Li
2c1169e55a Added a handful of examples.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-06-02 21:39:59 -04:00
Bokuan Li
42433c40ca Upgraded prose.
All checks were successful
Compile Project / Compile (push) Successful in 32s
Details
2026-06-02 20:26:07 -04:00
Bokuan Li
f4bcc76bd0 Added the GKZ Theorem.
All checks were successful
Compile Project / Compile (push) Successful in 34s
Details
2026-06-02 20:21:07 -04:00
Bokuan Li
54a518e9e2 Added setup for the GKZ theorem. 2026-06-02 19:11:59 -04:00
Bokuan Li
44d8bbd4da Added basic facts on maximal ideals. 2026-06-02 15:40:18 -04:00
Bokuan Li
c189b7da1a Fixed typo.
All checks were successful
Compile Project / Compile (push) Successful in 37s
Details
2026-06-01 23:55:52 -04:00
Bokuan Li
787f89e3a6 Fixed wrong theorem name.
All checks were successful
Compile Project / Compile (push) Successful in 28s
Details
2026-06-01 17:30:38 -04:00
Bokuan Li
f071a4ff31 Added lemmas on the identity component of the general linear group. 2026-06-01 17:30:03 -04:00
Bokuan Li
313f071f20 Added the spectral mapping theorem.
All checks were successful
Compile Project / Compile (push) Successful in 31s
Details
2026-06-01 16:38:02 -04:00
Bokuan Li
fb9febc01b Fixed typo in notations. 2026-06-01 00:05:45 -04:00
Bokuan Li
639aa253cf Slightly adjusted notation.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details
2026-05-31 23:20:08 -04:00
Bokuan Li
5cf2bd9f10 Added missing assumption.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-05-31 23:14:56 -04:00
Bokuan Li
bfa5aee60e Added the holomorphic functional calculus.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
2026-05-31 23:12:15 -04:00
Bokuan Li
73951c9d4c Fixed typo with 1/2pi i. 2026-05-31 20:00:40 -04:00
Bokuan Li
85e73baf76 Added citation. 2026-05-31 19:30:12 -04:00
Bokuan Li
3a07b5331e Added basics of Banach algebras. 2026-05-31 19:26:20 -04:00
Bokuan Li
fb8178b7ee Slight wording adjustments. 2026-05-31 15:53:32 -04:00
Bokuan Li
47145cdf58 Adjusted labeling of conditions for Banach-Steinhaus.
All checks were successful
Compile Project / Compile (push) Successful in 26s
Details
2026-05-30 20:40:38 -04:00
Bokuan Li
edde66facc Various typo fixes.
All checks were successful
Compile Project / Compile (push) Successful in 27s
Details
2026-05-30 20:35:32 -04:00
Bokuan Li
0cea712b96 Added Runge's theorem.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-05-30 20:29:17 -04:00
Bokuan Li
eef9ef89b0 Added some notations. 2026-05-28 13:03:41 -04:00
Bokuan Li
1d65f25d03 Added the one-point compactification. 2026-05-28 12:55:23 -04:00
Bokuan Li
5a4c9f5d0e Updated Alaoglu's theorem.
All checks were successful
Compile Project / Compile (push) Successful in 38s
Details
2026-05-27 23:53:22 -04:00
Bokuan Li
02bd8479bc Added path lemma.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
2026-05-27 22:59:06 -04:00
Bokuan Li
5923b45f9d Added Urysohn Metrisation theorem and compactness theorems.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-26 19:32:02 -04:00
Bokuan Li
f6c5976873 Fixed some typos.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-05-25 21:05:21 -04:00