Whitehead theorem (source code)

= Whitehead theorem
{c}
{wiki}

A weak homotopy equivalence between connected CW complexes is a <homotopy equivalence>. The analogous statement holds for <Kan complexes>.