Theorem TensorProduct.AlgebraTensorModule.smul_eq_lsmul_rtensor

Modification history