Theorem CoalgCat.toCoalgHom_comp

Modification history