x
Direct sum of vector spaces - History — LessWrong