Theorem Algebra.TensorProduct.mul_apply

Modification history