Theorem TensorProduct.AlgebraTensorModule.cancelBaseChange_symm_tmul

Modification history