Def TensorProduct.AlgebraTensorModule.map

Modification history