Def TensorProduct.AlgebraTensorModule.cancelBaseChange

Modification history