Theorem Coalgebra.sum_counit_tmul_eq

Modification history