Theorem Algebra.TensorProduct.assoc_aux_1

Modification history