Theorem TensorProduct.comm_trans_lid

Modification history