 The Sullivan conjecture on maps from classifying spaces by Haynes Miller

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.