Theorem TensorProduct.AlgebraTensorModule.congr_one

Modification history