Theorem Algebra.TensorProduct.mul_assoc'

Modification history