Whitehead's theorem for CW-complexes

Source: url:https://github.com/jzxia/WhiteheadTheorem Authors: Jiazhen Xia Status: verified Main declarations: WhiteheadTheorem Tags: algebraic-topology, cw-complex, homotopy-groups, weak-homotopy-equivalence MSC: 55P10, 55Q05, 55U10