4 ms·
https://web.archive.org/web/20230412131029/https://mathstodon.xyz/@tao/110172426733603359 https://web.archive.org/web/20230412131029/https://mathstodo...
by fifilura 4y ago
https://web.archive.org/web/20230412131029/https://mathstodon.xyz/@tao/110172426733603359 https://web.archive.org/web/20230412131029/https://mathstodo...