Def Coalgebra.counitCoalgHom

Modification history