Theorem Coalgebra.TensorProduct.assoc_symm_tmul

Modification history