Def Algebra.TensorProduct.lidOfCompatibleSMul

Modification history