Def Algebra.TensorProduct.equivOfCompatibleSMul

Modification history