Theorem Algebra.TensorProduct.one_mul

Modification history