Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-06 07:55 c6de6e4f

View on Github →

chore(algebra/group_power): mark map_pow etc as @[simp] (#5253)

Estimated changes

modified theorem add_monoid_hom.map_nsmul
modified theorem monoid_hom.map_pow
modified theorem add_monoid_hom.map_gsmul
modified theorem monoid_hom.map_gpow