Theorem TensorProduct.AlgebraTensorModule.map_id

Modification history