Theorem Algebra.TensorProduct.leftComm_tmul

Modification history