Theorem TensorProduct.AlgebraTensorModule.rightComm_eq

Modification history