The Sullivan conjecture on maps from classifying spaces by Haynes Miller
= 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.