Def TensorProduct.rightComm

Modification history