Definition der Skalarerweiterung hinzugefügt.
Funktorialität der Skalarerweiterung hinzugefügt.
Universelle Eigenschaft formuliert.
Erklärung der 'Natürlichkeit' des Isomorphismus hinzugefügt.