x
Direct sum of vector spaces — LessWrong