Theorem TensorProduct.AlgebraTensorModule.congr_refl

Modification history