Theorem Coalgebra.sum_tmul_apply_counit_eq

Modification history