19 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Bokuan Li	af924f6225	Updated RS integral notation.	2026-01-09 21:26:29 -05:00
Bokuan Li	ee2599c04f	Added the successive approximations.	2026-01-08 23:02:31 -05:00
Bokuan Li	9aac1243ea	Slight update to the preamble.	2026-01-08 23:02:14 -05:00
Bokuan Li	c7d057139e	Added compactness, Urysohn's lemma, and the Tietze extension theorem.	2026-01-08 23:01:52 -05:00
Bokuan Li	39e967c198	Reorganised the completion of uniform spaces.	2026-01-08 23:01:27 -05:00
Bokuan Li	eee78f6e29	Added the definition of the Lebesgue-Stieltjes measure.	2026-01-08 23:00:52 -05:00
Bokuan Li	a89c447b3b	Started differential geometry part.	2026-01-06 17:25:27 -05:00
Bokuan Li	a704806321	Finished basic topologies on function spaces.	2026-01-06 17:25:01 -05:00
Bokuan Li	9e76c1610a	Finished basic function space topologies.	2026-01-06 17:24:36 -05:00
Bokuan Li	badf8ad486	Updated the uniform topology on function spaces.	2026-01-05 20:18:26 -05:00
Bokuan Li	a807369ab0	Updated build system.	2026-01-05 20:11:28 -05:00
Bokuan Li	abbed78434	Progress over the past week.	2026-01-05 20:10:39 -05:00
Bokuan Li	e8d394a2ac	Updated content.	2026-01-01 03:50:45 -05:00
Bokuan Li	ba0cf9a315	Updated the tagger to scan all files.	2025-12-21 03:10:32 -05:00
Bokuan Li	c021e0f27b	Updated shortcuts for compilations.	2025-12-21 03:10:18 -05:00
Bokuan Li	155c7aa2ef	Removed tikz document.	2025-12-21 02:29:04 -05:00
Bokuan Li	96a269e53d	More testing completed.	2025-12-21 02:28:30 -05:00
Bokuan Li	ceabf78b0e	Added build scripts.	2025-12-21 01:45:21 -05:00
Bokuan Li	aab09f84f1	Initial update commit.	2025-12-21 01:27:14 -05:00