Lemma 83.7
Kurs:Mathematik (Osnabrück 2009-2011)/Teil III/Vorlesung 83
Mannigfaltigkeit/Differenzierbare Abbildung/Zurückziehen von Differentialformen/Elementare Eigenschaften/Fakt