Theorem TensorProduct.AlgebraTensorModule.map_tmul

Modification history