Theorem TensorProduct.AlgebraTensorModule.rTensor_tensor

Modification history