Theorem TensorProduct.AlgebraTensorModule.lift_tmul

Modification history