Theorem TensorProduct.rightComm_tmul

Modification history