Def Algebra.TensorProduct.mapOfCompatibleSMul

Modification history