Kurs:Differentialgeometrie (Osnabrück 2023)/Differentialform/Mannigfaltigkeit/Äußere Ableitung/Eigenschaften/Fakt/Faktreferenznummer