jerrylicious

jerrylicious pushed to main at jerrylicious/garden

2026-05-17 03:50:01 +02:00

3a0e5cc351 Fixed typo.

jerrylicious pushed to main at jerrylicious/garden

2026-05-17 03:43:04 +02:00

44d122e052 Added definition of holomorphic functions.

88d71d6654 Fixed small typos.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-16 02:52:41 +02:00

365c89e773 Added Fubini for RS integrals.

3a8de41020 Added the homotopic version of Cauchy's theorem.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-15 06:39:50 +02:00

6fdf6a64fd Added uniform structures for completely regular spaces. Added calculus lemma.

jerrylicious pushed to main at jerrylicious/garden

2026-05-13 23:00:13 +02:00

c1a9e11dbb Fixed mistakes in FTC for path integrals.

9f3c8a2e81 Added remark reflecting on past mistakes.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-12 03:22:41 +02:00

06b50c9b06 Adjusted statement of FTC for path integrals.

jerrylicious pushed to main at jerrylicious/garden

2026-05-12 03:21:44 +02:00

a4642a0128 Added FTC for path integrals.

4ba2e76b44 Added the principal logarithm.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-11 01:42:43 +02:00

538a02ba37 Added the inverse function theorem.

jerrylicious pushed to main at jerrylicious/garden

2026-05-10 01:57:25 +02:00

7fdf1a8d6e Added power series.

8d881dfa97 Added the bipolar theorem.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-09 00:51:13 +02:00

2e00ac6f10 Adjusted the interchange of limits and derivaties.

jerrylicious pushed to main at jerrylicious/garden

2026-05-09 00:37:02 +02:00

5f50dc1157 Updated the power rule to the non-symmetric generality.

248c89240b Updated notation for higher derivatives.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-08 07:25:49 +02:00

277c2e2625 Added the theorem for interchanging limits and derivatives.

jerrylicious pushed to main at jerrylicious/diffusion

2026-05-07 20:06:26 +02:00

eac61d1d57 Minor update

63e4ec2923 Recent progress.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-07 05:31:36 +02:00

e8474bba3e Fixed equicontinuous formulation.

57c32a3c5e Updated spelling of barreled to barrelled for consistency.

7e6e37d3e8 Housekeeping.

Compare 3 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-06 22:31:52 +02:00

fdc5e43d82 Added the separate and joint continuity theorem.

jerrylicious pushed to main at jerrylicious/garden

2026-05-06 06:32:27 +02:00

5afdc1fcb9 Adjusted wording of Banach-Steinhaus.

jerrylicious pushed to main at jerrylicious/garden

2026-05-06 06:30:06 +02:00

ca3465b3d4 Fixed indexing mistake in Arzela-Ascoli.

jerrylicious pushed to main at jerrylicious/garden

2026-05-06 06:27:12 +02:00

07fe8b35c0 Added the Banach-Steinhaus theorem.

ce56f5d167 Adjusted organisation in the TVS chapter.

Compare 2 commits »

jerrylicious pushed to main at jerrylicious/garden

2026-05-05 08:00:09 +02:00

97372173e1 Fixed regex incident.

jerrylicious pushed to main at jerrylicious/garden

2026-05-05 07:50:44 +02:00

0f2e69d1f9 Polished A-A and added new lines for broken enumerates.