Theorem Coalgebra.TensorProduct.assoc_tmul

Modification history