Theorem Algebra.TensorProduct.mul_one

Modification history