Subsection II.3.1.4

Isomorphisms of Euclidean vector spaces