Theorem Algebra.TensorProduct.tensorTensorTensorComm_toLinearEquiv

Modification history