Definition 14.6
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 14 Mannigfaltigkeit/Differenzierbare Abbildung/Zurückziehen von Differentialformen/Definition