jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
514 Commits 1 Branch 0 Tags
041c33c0fe00fdb3f8c2323530b07abaa8ef9e1e
Commit Graph
5 Commits
Author SHA1 Message Date
Bokuan Li 1bd178d7b3 Slightly adjusted Krein-Milman. 2026-10-02 15:38:04 -04:00
Bokuan Li e2eeae3f36 Fixed a few typos.
Compile Project / Compile (push) Has been cancelled
Details
2026-08-13 19:26:36 -04:00
Bokuan Li 25d3f4e8d2 Added Goldstine's Theorem.
Compile Project / Compile (push) Successful in 52s
Details
2026-07-17 18:49:11 -04:00
Bokuan Li 843631b024 Added the compact null sequence lemma. 2026-07-17 14:29:04 -04:00
Bokuan Li 5923b45f9d Added Urysohn Metrisation theorem and compactness theorems.
Compile Project / Compile (push) Successful in 29s
Details
2026-05-26 19:32:02 -04:00