Theorem Algebra.TensorProduct.prodRight_tmul_fst

Modification history