Documentation

AlgebraicTopology_May_1999.Chap01.Lemma_1_2_7