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

Commit

5 years ago

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

Author

urkud

urkud

Parents

Loading