Hauptteilmodul/Differentialoperator/Auf Produkt von Differentialformen/Fakt/Beweis
Beweis
Dies folgt aus Fakt, da ein Differentialoperator, aufgesfasst auf dem Modul der Hauptteile, einfach die Auswertung in der zweiten Tensorkomponente ist.
Dies folgt aus Fakt, da ein Differentialoperator, aufgesfasst auf dem Modul der Hauptteile, einfach die Auswertung in der zweiten Tensorkomponente ist.