Theorem TensorProduct.AlgebraTensorModule.rightComm_symm

Modification history