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

100 Commits

Author SHA1 Message Date
Bokuan Li
7ce835cef2 Added sneaky interpolation functor jokes. 2026-06-04 16:45:03 -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
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
Bokuan Li
047ffe4472 Added the complex conjugation.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details
2026-05-25 20:59:22 -04:00
Bokuan Li
719e9a1f7a Added complexification.
All checks were successful
Compile Project / Compile (push) Successful in 31s
Details
2026-05-23 21:19:04 -04:00
Bokuan Li
44d122e052 Added definition of holomorphic functions.
All checks were successful
Compile Project / Compile (push) Successful in 34s
Details
2026-05-16 21:42:56 -04:00
Bokuan Li
88d71d6654 Fixed small typos. 2026-05-16 13:06:48 -04:00
Bokuan Li
365c89e773 Added Fubini for RS integrals.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
2026-05-15 20:30:20 -04:00
Bokuan Li
3a8de41020 Added the homotopic version of Cauchy's theorem. 2026-05-15 19:31:39 -04:00
Bokuan Li
6fdf6a64fd Added uniform structures for completely regular spaces. Added calculus lemma.
All checks were successful
Compile Project / Compile (push) Successful in 35s
Details
2026-05-15 00:39:41 -04:00
Bokuan Li
c1a9e11dbb Fixed mistakes in FTC for path integrals.
All checks were successful
Compile Project / Compile (push) Successful in 27s
Details
2026-05-13 16:29:09 -04:00
Bokuan Li
9f3c8a2e81 Added remark reflecting on past mistakes. 2026-05-13 15:21:46 -04:00
Bokuan Li
06b50c9b06 Adjusted statement of FTC for path integrals.
All checks were successful
Compile Project / Compile (push) Successful in 32s
Details
2026-05-11 21:22:27 -04:00
Bokuan Li
a4642a0128 Added FTC for path integrals.
All checks were successful
Compile Project / Compile (push) Successful in 34s
Details
2026-05-11 21:21:26 -04:00
Bokuan Li
7fdf1a8d6e Added power series.
All checks were successful
Compile Project / Compile (push) Successful in 31s
Details
2026-05-09 19:57:18 -04:00
Bokuan Li
8d881dfa97 Added the bipolar theorem. 2026-05-09 18:15:10 -04:00
Bokuan Li
57c32a3c5e Updated spelling of barreled to barrelled for consistency. 2026-05-06 16:50:37 -04:00
Bokuan Li
7e6e37d3e8 Housekeeping. 2026-05-06 16:41:51 -04:00
Bokuan Li
fdc5e43d82 Added the separate and joint continuity theorem.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-05-06 16:31:41 -04:00
Bokuan Li
5afdc1fcb9 Adjusted wording of Banach-Steinhaus.
All checks were successful
Compile Project / Compile (push) Successful in 28s
Details
2026-05-06 00:32:24 -04:00
Bokuan Li
07fe8b35c0 Added the Banach-Steinhaus theorem.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-06 00:27:05 -04:00
Bokuan Li
ce56f5d167 Adjusted organisation in the TVS chapter. 2026-05-05 21:58:54 -04:00
Bokuan Li
97372173e1 Fixed regex incident.
All checks were successful
Compile Project / Compile (push) Successful in 27s
Details
2026-05-05 02:00:05 -04:00
Bokuan Li
0f2e69d1f9 Polished A-A and added new lines for broken enumerates.
Some checks failed
Compile Project / Compile (push) Failing after 12s
Details
2026-05-05 01:50:35 -04:00
Bokuan Li
227436a9c2 Added saturated ideals. 2026-05-04 17:54:03 -04:00
Bokuan Li
e3c16a98b4 Updated the notation for convex and circled hulls. 2026-05-04 17:15:54 -04:00
Bokuan Li
60115baa41 Replaced references to upward-directed families with ideals. 2026-05-04 17:08:01 -04:00
Bokuan Li
e4da295fd9 Added introduction to polars. 2026-05-04 16:04:09 -04:00
Bokuan Li
b2af2d8afb Fixed typo in dual systems.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-05-03 22:57:48 -04:00
Bokuan Li
ca5e81fdbc Started duality.
All checks were successful
Compile Project / Compile (push) Successful in 24s
Details
2026-05-03 22:49:27 -04:00
Bokuan Li
ba5830d5b6 Added associated space notation.
All checks were successful
Compile Project / Compile (push) Successful in 24s
Details
2026-05-02 16:00:33 -04:00
Bokuan Li
1e53581113 Added bornological spaces. 2026-05-02 15:59:03 -04:00
Bokuan Li
dcf11fb978 Added more bits on bornologic spaces.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-05-01 19:27:38 -04:00
Bokuan Li
0ef220bba5 Added proof for the BV claim. 2026-05-01 18:33:10 -04:00
Bokuan Li
4e0efaf7f5 Adjusted formulation of a total variation statement. 2026-05-01 18:31:08 -04:00
Bokuan Li
10e520dff3 Updated formulation in BV.
All checks were successful
Compile Project / Compile (push) Successful in 24s
Details
2026-05-01 16:40:01 -04:00
Bokuan Li
2219ce0b15 Added barreled spaces.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-05-01 16:27:14 -04:00
Bokuan Li
3077563278 Used "separated" instead of Hausdorff in the context of topological vector spaces. 2026-05-01 13:32:08 -04:00
Bokuan Li
95829261c7 Fixed typo in FTC for Riemann integrals.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-04-28 18:09:27 -04:00
Bokuan Li
225794ff81 Fixed typo in the definition of regulated maps.
All checks were successful
Compile Project / Compile (push) Successful in 22s
Details
2026-04-28 18:07:27 -04:00
Bokuan Li
6a960a6231 Fixed typo in variation function.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-04-28 18:05:37 -04:00
Bokuan Li
d187feb618 Fixed partition index typo. 2026-04-28 18:04:05 -04:00
Bokuan Li
34736f99a8 More typo fixes.
All checks were successful
Compile Project / Compile (push) Successful in 23s
Details
2026-04-28 14:34:44 -04:00
Bokuan Li
d80fae112d Fixed more convex typos. 2026-04-28 14:27:23 -04:00
Bokuan Li
e68b991240 Fixed typo in convex hull.
All checks were successful
Compile Project / Compile (push) Successful in 24s
Details
2026-04-28 14:20:27 -04:00
Bokuan Li
9259cd1d86 Added notation pages for major sections. 2026-04-23 02:56:47 -04:00