Theorem Algebra.TensorProduct.tmul_mul_tmul

Modification history