Theorem TensorProduct.AlgebraTensorModule.smul_eq_lsmul_rTensor

Modification history