Homology TheoremCovers the proof of Theorem A, discussing homology, quotients, and isomorphisms.
Homology with coefficientsCovers homology with coefficients, introducing the concept of defining homology groups with respect to arbitrary abelian groups.
Zig Zag LemmaCovers the Zig Zag Lemma and the long exact sequence of relative homology.