mathlib3
96f318c5 - feat(algebra/group_power): int.nat_abs_pow_two (#2811)

Commit

5 years ago

feat(algebra/group_power): int.nat_abs_pow_two (#2811) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents