Theorem TensorProduct.AlgebraTensorModule.assoc_symm_tmul

Modification history