Theorem Algebra.TensorProduct.leftComm_symm_tmul

Modification history