Theorem GradedTensorProduct.tmul_coe_mul_one_tmul

Modification history