garden

Author	SHA1	Message	Date
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
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	78cbee8b32	Lowered the table of contents depth. All checks were successful Compile Project / Compile (push) Successful in 25s Details	2026-04-23 15:50:14 -04:00
Bokuan Li	9259cd1d86	Added notation pages for major sections.	2026-04-23 02:56:47 -04:00

1 2 3 4

171 Commits