Theorem TensorProduct.AlgebraTensorModule.assoc_eq

Modification history