Theorem Coalgebra.sum_tmul_counit_eq

Modification history