Def TensorProduct.lidOfCompatibleSMul

Modification history