Theorem iterate_map_zpow

Modification history

2025-02-22 11:05

Mathlib/Algebra/Group/Hom/Defs.lean

chore(Algebra/GroupPower/IterateHom): move all lemmas earlier (#22132) …

Modified iterate_map_zpow View on Github →

2024-03-27 09:30

Mathlib/Algebra/GroupPower/IterateHom.lean

refactor(Algebra/GroupPower/IterateHom): Use `HomClass` to generalize `map_iterate` statements (#11266) …

Added iterate_map_zpow View on Github →