Theorem lTensorHomEquivHomLTensor_toLinearMap

Modification history