show/hide this revision's text 2 edited tags
show/hide this revision's text 1

homotopy pushout of spaces homotopic to finite CW complexes

Does anyone know a reference for the fact that a homotopy pushout (double mapping cylinder) of spaces which are homotopy equivalent to finite CW complexes is also homotopy equivalent to a finite CW complex?