Co-Hopfian group (source code)

= Co-Hopfian group
{wiki=Co-Hopfian_group}