Hacker News new | ask | show | jobs
by emil-lp 28 days ago
From a comment to this answer:

https://mathoverflow.net/a/511592/37452