Theorem TensorProduct.rTensorHomToHomRTensor_apply

Modification history