Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-25 10:18 96f318c5

View on Github →

feat(algebra/group_power): int.nat_abs_pow_two (#2811)

Estimated changes

added theorem int.nat_abs_pow_two