show/hide this revision's text 1 [made Community Wiki]

How about Haynes Miller's theorem resolving the Sullivan conjecture?