5 Dec
2004
5 Dec
'04
10:40 p.m.
Michael-- The earliest published proof I know of is in Peter May's classic Simplicial Objects in Algebraic Topology, D. Van Nostrand Mathematical Studies #11 (1967) on pages 67-68. He credits John Moore and references mimeographed Princeton notes of 1956: Seminar on Algebraic Homotopy Theory. I don't know if the proof May gives is the one Moore gave but I suspect it is. Don