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

174 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bokuan Li
3a0e5cc351 Fixed typo.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-16 21:49:56 -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
4ba2e76b44 Added the principal logarithm. 2026-05-11 16:11:33 -04:00
Bokuan Li
538a02ba37 Added the inverse function theorem.
All checks were successful
Compile Project / Compile (push) Successful in 33s
Details
2026-05-10 19:42:25 -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
2e00ac6f10 Adjusted the interchange of limits and derivaties.
All checks were successful
Compile Project / Compile (push) Successful in 30s
Details
2026-05-08 18:51:09 -04:00
Bokuan Li
5f50dc1157 Updated the power rule to the non-symmetric generality.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-08 18:36:44 -04:00
Bokuan Li
248c89240b Updated notation for higher derivatives. 2026-05-08 14:17:28 -04:00
Bokuan Li
277c2e2625 Added the theorem for interchanging limits and derivatives.
All checks were successful
Compile Project / Compile (push) Successful in 32s
Details
2026-05-08 01:25:39 -04:00
Bokuan Li
e8474bba3e Fixed equicontinuous formulation.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-06 23:31:25 -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
ca3465b3d4 Fixed indexing mistake in Arzela-Ascoli.
All checks were successful
Compile Project / Compile (push) Successful in 29s
Details
2026-05-06 00:30:02 -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
47a7e1de68 Added notes on equicontinuity.
All checks were successful
Compile Project / Compile (push) Successful in 27s
Details
2026-05-05 01:10:56 -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
caf7790b15 Fixed typo in Cauchy in measure. 2026-05-01 13:29:36 -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