Homotopy invariance of homology (source code)

= Homotopy invariance of homology

<Homotopic> maps induce the same homomorphism on every <homology group>. Consequently, <homotopy equivalent> spaces have isomorphic homology groups.