Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_pow

Modification history

2022-04-12 03:21
src/algebra/hom/group.lean
chore(algebra/module/basic): generalize to add_monoid_hom_class (#13346) …
Modified map_powView on Github →
2022-03-07 10:15
src/algebra/group/hom.lean
feat(algebra/group/to_additive): let to_additive turn `pow` into `nsmul` (#12477) …
Modified map_powView on Github →
2021-12-14 11:07
src/algebra/group/hom.lean
feat(algebra/group): make `map_[z]pow` generic in `monoid_hom_class` (#10749) …
Added map_powView on Github →