This website requires JavaScript.
Explore
Help
Sign In
jerrylicious
/
garden
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
5aac10e44b4f7b8ea2ae57e7ce2d1e49d43d286c
garden
/
src
T
History
Bokuan Li
5aac10e44b
Compile Project / Compile (push)
Successful in 55s
Details
RETRACTION: WRONG COVERING RATIO INEQUALITY.
2026-10-02 22:54:54 -04:00
..
cat
Fixed a few typos.
2026-08-13 19:26:36 -04:00
conventions
Progress over the past week.
2026-01-05 20:10:39 -05:00
dg
Removed parts from Zhu citations.
2026-07-07 11:39:54 -04:00
dyn
More typo fixes.
2026-09-26 16:34:57 -04:00
fa
Added counter examples to the open mapping theorem.
2026-10-02 15:38:20 -04:00
harmonic
RETRACTION: WRONG COVERING RATIO INEQUALITY.
2026-10-02 22:54:54 -04:00
logic
Cleaned up notations for logic.
2026-09-16 13:48:54 -04:00
measure
Thank you Henry
2026-10-02 21:11:30 -04:00
op
Adjusted GNS.
2026-10-02 15:39:03 -04:00
process
Strengthened the simple function approximations.
2026-06-28 14:33:32 -04:00
topology
Slight adjustment.
2026-09-30 14:46:57 -04:00