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

Lemma 20.2 (Differentialgeometrie (Osnabrück 2023))