Theorem TensorProduct.lidOfCompatibleSMul_tmul

Modification history