Theorem Coalgebra.sum_counit_smul

Modification history