Theorem rTensorHomEquivHomRTensor_toLinearMap

Modification history