Theorem TensorProduct.directSumRight_comp_rTensor

Modification history