Theorem Algebra.TensorProduct.assoc_tmul

Modification history