Def Algebra.TensorProduct.cancelBaseChange

Modification history