Differentialform/Lokal/Zurückziehen unter partiell konstanter Abbildung/Fakt/Beweis
Erscheinungsbild
Beweis
Nach Fakt gilt
Da
ist für alle , ist für jedes eine Zeile der Matrix , sodass die Determinanten stets sind.
Nach Fakt gilt
Da
ist für alle , ist für jedes eine Zeile der Matrix , sodass die Determinanten stets sind.