Theorem TensorProduct.comm_symm_tmul

Modification history