Theorem Coalgebra.sum_tmul_counit_apply_eq

Modification history