Theorem CoalgCat.Hom.toCoalgHom_injective

Modification history