Theorem Algebra.TensorProduct.assoc_aux_2

Modification history