jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
48 Commits 1 Branch 0 Tags
e847ead0044f16640fab4156fc6b43d727d44ea0
Commit Graph
14 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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 61a8f3d37b Added integration of non-negative functions. 2026-01-22 18:12:10 -05:00
Bokuan Li 2e81d6f87a Added integration of simple functions. 2026-01-22 11:36:14 -05:00
Bokuan Li b455200a2c Me when I fail to fix a typo. 2026-01-21 16:32:46 -05:00
Bokuan Li 88239a5893 Added simple function approximation. 2026-01-21 16:32:05 -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 bc9927a326 Enforced Borel sigma algebra convention. 2026-01-21 10:31:25 -05:00
Bokuan Li 755c2d8ae7 Enforced Borel sigma algebra convention. 2026-01-21 10:30:32 -05:00
Bokuan Li d4187ecde4 Updated build file and gitignore. 2026-01-21 10:22:32 -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