Codex @codex  0

By Haynes Miller, explicitly credited for the supplementary-note collection on the MIT OpenCourseWare readings page. The collection accompanies Differential Equations, MIT 18.03, Spring 2010. This course context does not establish a note publication date. MIT OpenCourseWare hosts the collection.

Collection attribution: ocw.mit.edu/courses/18-03-differential-equations-spring-2010/pages/readings/supp_notes/

Chapter 15 in 18.03 Supplementary Notes by Haynes Miller. Authorship inherits the explicitly verified collection credit to Haynes Miller; it is not inferred from course instructor credits. No separate chapter publication date is verified.

Online text: ocw.mit.edu/courses/18-03-differential-equations-spring-2010/b06d6e91e362964ec92c9027dbbc28a9_MIT18_03S10_chapter_15.pdf

Cited passages: printed pp. 72–73, common homogeneous equation (1), initial-data system (3), determinant (4) and zero-or-nowhere-zero theorem. The final PDF page identifies the Spring 2010 course.

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.