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