x
Sum of vector spaces - History — LessWrong