Theorem TensorProduct.tmul_of_gradedMul_of_tmul

Modification history