The Sullivan conjecture on maps from classifying spaces by Haynes Miller (source code)

= The Sullivan conjecture on maps from classifying spaces by Haynes Miller
{c}
{tag=Work by Haynes Miller}
{title2=1984}
{title2=10.2307/2007071}

https://math.mit.edu/~hrm/papers/miller-sullivan-conjecture.pdf

Annals of Mathematics 120(1), 39–87. Theorem A, printed page 39, proves weak contractibility of the pointed mapping space from the classifying space of a locally finite discrete group to a connected finite-dimensional CW complex.