Lemma 14.8
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 14 Offene Mengen/Differenzierbare Abbildung/Zurückziehen von Differentialformen/In Koordinaten/Fakt