Garbe/Kommutative Gruppen/Komplex/Globale Auswertung/Fakt/Beweis

Beweis

Die Voraussetzung bedeutet einfach, dass die Nullabbildung ist. Dann ist insbesondere die globale Auswertung die Nullabbildung.