Theorem lTensorHomEquivHomLTensor_apply

Modification history