Kurs:Differentialgeometrie/Nullstellenfreie Volumenform/Orientierte (Karten) Mannigfaltigkeit/Äquivalenz/Fakt/Faktreferenznummer

Satz 22.11 (Differentialgeometrie (Osnabrück 2023))