Theorem Algebra.TensorProduct.mapOfCompatibleSMul_tmul

Modification history