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.
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.