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