Def Algebra.TensorProduct.mul

Modification history