Differenzierbare Mannigfaltigkeit/de Rham-Kohomologie/Algebra/Funktoriell/Fakt/Beweis
Beweis
Die Wohldefiniertheit ergibt sich aus Fakt (5). Die Verträglichkeit mit der Produktstruktur folgt aus der Verträglichkeit des Dachproduktes mit dem Rückzug von Differentialformen.