Theorem smul_iterate_apply

Modification history

2025-02-22 11:05
Mathlib/Algebra/Group/Action/Defs.lean
chore(Algebra/GroupPower/IterateHom): move all lemmas earlier (#22132) …
Modified smul_iterate_applyView on Github →
2024-02-15 13:05
Mathlib/Algebra/GroupPower/IterateHom.lean
feat(GroupTheory/GroupAction): define MulAction.period and create GroupTheory/GroupAction/Period (#9490) …
Added smul_iterate_applyView on Github →