Theorem Coalgebra.counitCoalgHom_apply

Modification history