Euclidean vector space

Summary