Theorem TensorProduct.AlgebraTensorModule.congr_mul

Modification history