Theorem Coalgebra.sum_map_tmul_counit_eq

Modification history