Comment by esperent 2 months ago More interesting discussion than on Twitter here:https://www.erdosproblems.com/forum/thread/124#post-1892 1 comment esperent Reply dang 2 months ago Ok, we've changed the link to that from https://twitter.com/vladtenev/status/1994922827208663383, but I've included the latter in the toptext. Thanks!
dang 2 months ago Ok, we've changed the link to that from https://twitter.com/vladtenev/status/1994922827208663383, but I've included the latter in the toptext. Thanks!
Ok, we've changed the link to that from https://twitter.com/vladtenev/status/1994922827208663383, but I've included the latter in the toptext. Thanks!