Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.perm.coe_pow

Modification history

2023-01-06 13:16
src/algebra/hom/iterate.lean
feat(group_theory/perm/basic): `mul_left` is a monoid hom (#17900) …
Modified equiv.perm.coe_powView on Github →
2021-03-16 16:06
src/algebra/iterate_hom.lean
feat(algebra/iterate_hom): add `equiv.perm.coe_pow` (#6698) …
Added equiv.perm.coe_powView on Github →