I'm studying some homotopy theory of topological monoids from the book Algebraic Topology from a Homotopical Viewpoint. I'm trying to understand the corollary below.
I'm stuck on the first claim of the proof. I think that the assertion should follow by proving that weak products of Eilemberg MacLane spaces (more generally CW-complexes) is a CW-complex. Any help?