Gruppe/Kettenkomplex/Homotope Homomorphismen/Kovarianter Funktor/Homotopie/Fakt/Beweis
Erscheinungsbild
Beweis
Es seien die Homotopien zwischen und , die es nach Voraussetzung gibt. Es gilt also
Wegen der Additivität des Funktors gilt auch