Kurs:Differentialgeometrie (Osnabrück 2023)/Differentialform/Lokal/Zurückziehen unter partiell konstanter Abbildung/Fakt/Faktreferenznummer