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