Search
❯
Feb 01, 20251 min read
I hope to understand the construction in https://mathoverflow.net/a/477579 someday.