4 ms·
From a comment to this answer: https://mathoverflow.net/a/511592/37452 https://mathoverflow.net/a/511592/37452
by emil-lp 5mo ago
From a comment to this answer:
https://mathoverflow.net/a/511592/37452 https://mathoverflow.net/a/511592/37452
loading thread…