Theorem Algebra.TensorProduct.prodRight_symm_tmul

Modification history