Theorem TensorProduct.AlgebraTensorModule.cancelBaseChange_tmul

Modification history