Theorem TensorProduct.gradedMul_one

Modification history