Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-19 15:48 599712ff

View on Github →

feat(data/int/parity, data/nat/parity): add some lemmas (#7624)

Estimated changes

modified theorem int.even_coe_nat
added theorem int.even_pow'
modified theorem int.even_pow
added theorem int.nat_abs_even
added theorem int.nat_abs_odd
added theorem int.odd_coe_nat
added theorem nat.even_pow'
modified theorem nat.even_pow