Kurs:Differentialgeometrie/Differentialform/Lokal/Zurückziehen unter partiell konstanter Abbildung/Fakt/Faktreferenznummer

Korollar 14.10 (Differentialgeometrie (Osnabrück 2023))