7 points | by emil-lp 4 hours ago
1 comments
From a comment to this answer:
https://mathoverflow.net/a/511592/37452
From a comment to this answer:
https://mathoverflow.net/a/511592/37452