Theorem CoalgCat.toCoalgHom_id

Modification history