Theorem Coalgebra.sum_counit_tmul_map_eq

Modification history