Kurs:Differentialgeometrie/Differentialform/Mannigfaltigkeit/Äußere Ableitung/Eigenschaften/Fakt/Faktreferenznummer

Satz 20.4 (Differentialgeometrie (Osnabrück 2023))