Def CoalgHomClass.toCoalgHom

Modification history