TensorFreeModule
FreeModuleTensor
TensorWithIndices
Free module bases
Tensor products of free modules