Direct sum of vector spaces

Summary