in MO editors' lounge on The Stack Exchange Network Chat, Jul 24 at 7:19, by Martin Sleziak
What is actually the difference between the old title and the new title here: https://mathoverflow.net/posts/36580/revisions https://mathoverflow.net/review/suggested-edits/165831