Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.nat_abs_pow_two

Modification history

2021-04-28 19:37

src/algebra/group_power/lemmas.lean

chore(*): use `sq` as convention for "squared" (#7368) …

Deleted int.nat_abs_pow_two View on Github →

2020-05-25 10:18

src/algebra/group_power.lean

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

Added int.nat_abs_pow_two View on Github →