Theorem Algebra.TensorProduct.prodRight_tmul_snd

Modification history