Theorem ker_zpowGroupHom_eq_rootsOfUnity

Modification history

2026-01-27 22:28
Mathlib/RingTheory/RootsOfUnity/Basic.lean
feat(Analysis, Topology): more examples of covering maps involving the complex plane (#33766)
Added ker_zpowGroupHom_eq_rootsOfUnityView on Github →