Theorem GradedTensorProduct.lift_tmul

Modification history