jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
549 Commits 1 Branch 0 Tags
d698b9b7f1942442a7c58ef6c1dc2c9714970c5c
Commit Graph
515 Commits
Author SHA1 Message Date
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 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 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 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