Theorem TensorProduct.AlgebraTensorModule.congr_trans

Modification history