Skip to main content

If you are looking for a reference, Propostion 3.3.18 of Munson Volic's "Cubical homotopy theory" is doing what you want.

Geoffroy Horel
  • 2.7k
  • 18
  • 22