A group isomorphic to a cyclic group is cyclic

Stream: Is there code for X?

[Filippo A. E. Nuccio]

Do we know that a group isomorphic to a cyclic group is itself cyclic? I was unable to find it. It is of course very easy to prove given what we've got, but I thought it must have already been there.

[Riccardo Brasca]

docs#isCyclic_of_surjective

[Andrew Yang]

We have this for both surjections and injections I believe.

[Filippo A. E. Nuccio]

Thanks