Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-14 03:22 a3050f42

View on Github →

feat(group_theory/order_of_element): Endomorphisms of cyclic groups (#6645) If G is cyclic then every group homomorphism G -> G is a power map.

Estimated changes