Theorem TensorProduct.AlgebraTensorModule.congr_symm

Modification history