Zwischenschritt zu Behauptung in Def 2.29 und komponentenweise Interpretation hinzugefügt
Zurück zur Homepage der Analysis IV