Kurs:Differentialgeometrie/Mannigfaltigkeit/Differenzierbare Abbildung/Zurückziehen von Differentialformen/Elementare Eigenschaften/Fakt/Faktreferenznummer

Lemma 14.7 (Differentialgeometrie (Osnabrück 2023))