Theorem monoid_hom.map_gpow
Modification history
2021-10-27 17:47
src/algebra/group_power/lemmas.lean
refactor(*): rename fpow and gpow to zpow (#9989) …
Deleted monoid_hom.map_gpowView on Github →2020-12-06 07:55
src/algebra/group_power/lemmas.lean
chore(algebra/group_power): mark `map_pow` etc as `@[simp]` (#5253)
Modified monoid_hom.map_gpowView on Github →