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