16 Commits

Include renames

Author	SHA1	Message	Date
Bokuan Li	514afcb21f	Removed typo	2026-01-23 17:39:40 -05:00
Bokuan Li	3fc32813d8	Pseudometricised function spaces.	2026-01-23 14:01:37 -05:00
Bokuan Li	e847ead004	Minor adjustments.	2026-01-22 19:02:42 -05:00
Bokuan Li	234f158663	Added quotient topology.	2026-01-22 18:47:33 -05:00
Bokuan Li	0b24ab616f	Added measurability in separable metric spaces.	2026-01-21 16:03:50 -05:00
Bokuan Li	c6796d2cc1	Added Hausdorff characterisation for uniform spaces.	2026-01-21 11:08:11 -05:00
Bokuan Li	9caac1c499	Typo fix.	2026-01-21 10:16:57 -05:00
Bokuan Li	a1f2477dcf	Complete characterisation of paracompactness in LCH spaces.	2026-01-20 14:16:09 -05:00
Bokuan Li	9d2ca2c3e2	Incremental update.	2026-01-19 21:21:11 -05:00
Bokuan Li	307f23ad57	Me when I forget to commit.	2026-01-17 23:11:19 -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	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	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