8 points | by emil-lp 5 hours ago 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