Theorem TensorProduct.comm_trans_rid

Modification history