Theorem Bialgebra.TensorProduct.assoc_tmul

Modification history