V
ector
S
pace
RingModuleFacts
FunctionLemmas
MonoidSums
LinearCombinations
SumSpaces
VectorSpace