Theorem TensorProduct.tmul_neg

Modification history