garden

Author	SHA1	Message	Date
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
Bokuan Li	945bfe9946	Fixed typos and migrated to new version.	2026-04-13 20:21:01 -04:00
Bokuan Li	af1fa61668	Added the fundamental theorem of calculus. All checks were successful Compile Project / Compile (push) Successful in 19s Details	2026-03-22 17:12:22 -04:00
Bokuan Li	156c9e8728	Added missing steps and fixed typos. All checks were successful Compile Project / Compile (push) Successful in 23s Details	2026-03-22 00:45:15 -04:00
Bokuan Li	73ceab0a6d	Fixed more mistakes in the dyadic rational numbers. All checks were successful Compile Project / Compile (push) Successful in 21s Details	2026-03-21 19:35:12 -04:00
Bokuan Li	50c231f543	Updated the dyadic rational numbers and RS integrals. All checks were successful Compile Project / Compile (push) Successful in 18s Details	2026-03-21 19:15:40 -04:00
Bokuan Li	aa4756e941	Adjusted citation formats. Moved citation off of named theorems if possible. All checks were successful Compile Project / Compile (push) Successful in 22s Details	2026-03-19 23:58:16 -04:00
Bokuan Li	c21b16d336	Added the Singer representation theorem.	2026-03-19 23:38:04 -04:00
Bokuan Li	051bae6096	Fixed typo in Hahn-Banach.	2026-03-19 19:26:43 -04:00
Bokuan Li	af28d174f2	Added remarks regarding the projective tensor product.	2026-03-18 20:04:21 -04:00
Bokuan Li	813cff3c81	Fixed typo. All checks were successful Compile Project / Compile (push) Successful in 18s Details	2026-03-18 17:31:07 -04:00
Bokuan Li	1cb04f668b	Added a characterisation of L^p. All checks were successful Compile Project / Compile (push) Successful in 19s Details	2026-03-18 17:26:17 -04:00
Bokuan Li	16e6beb117	Replaced mentions of normed spaces to normed vector spaces. All checks were successful Compile Project / Compile (push) Successful in 17s Details	2026-03-17 15:18:31 -04:00
Bokuan Li	37a5ce14bf	Added the Bochner integral.	2026-03-17 15:16:13 -04:00
Bokuan Li	b591904469	Added the dual of c0. All checks were successful Compile Project / Compile (push) Successful in 17s Details	2026-03-16 21:05:12 -04:00
Bokuan Li	69c4e5e030	Added vector lattices.	2026-03-16 16:01:07 -04:00
Bokuan Li	ef91d9f91b	Various typo fixes.	2026-03-15 23:04:46 -04:00
Bokuan Li	8e7e55e8b3	Added monotone convergence for LSC functions. All checks were successful Compile Project / Compile (push) Successful in 20s Details	2026-03-15 22:13:55 -04:00
Bokuan Li	b5126e965b	Added facts about vector measures.	2026-03-15 19:30:28 -04:00
Bokuan Li	2e160500cc	Added Riemann's rearrangement theorem.	2026-03-15 14:44:36 -04:00
Bokuan Li	4687e9e4fc	Added Lusin's theorem.	2026-03-14 19:55:29 -04:00
Bokuan Li	6bb13c3c53	Typo fix. All checks were successful Compile Project / Compile (push) Successful in 16s Details	2026-03-12 22:36:53 -04:00
Bokuan Li	532bced3b7	Fixed some typos. All checks were successful Compile Project / Compile (push) Successful in 15s Details	2026-03-12 22:29:40 -04:00
Bokuan Li	99f57be39e	Housekeeping.	2026-03-06 14:55:54 -05:00
Bokuan Li	5034bc4220	Cleanup	2026-03-06 14:06:15 -05:00
Bokuan Li	173727665b	Symmetry of the derivative (normed/frechet).	2026-02-03 17:57:07 -05:00
Bokuan Li	04786ba3d9	Added the Mean Value Theorem.	2026-02-03 00:54:44 -05:00
Bokuan Li	5c54ec0883	Added properties of inductive limits.	2026-01-30 11:54:08 -05:00
Bokuan Li	d63c2e794f	Added some limits.	2026-01-29 12:28:15 -05:00
Bokuan Li	c0a76cc2f0	Added inductive limits of TVS.	2026-01-29 12:04:26 -05:00
Bokuan Li	317e652a6a	Added a proposition concerning the structure of complete locally convex spaces.	2026-01-28 17:31:09 -05:00
Bokuan Li	354c8e0053	Added projective limits for LC spaces.	2026-01-28 13:57:49 -05:00
Bokuan Li	b220d792e4	Added projective limits.	2026-01-28 13:39:00 -05:00
Bokuan Li	e7f7dfc8e3	Fixed typo.	2026-01-27 15:43:23 -05:00

1 2

67 Commits