Theorem Algebra.TensorProduct.prodRight_tmul

Modification history