Theorem CoalgHomClass.counit_comp_apply

Modification history