Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-03 12:26 9a0d2b23

View on Github →

chore(data/nat/parity): rename type variable (#6016)

Estimated changes

modified theorem nat.even.add_even
modified theorem nat.even.add_odd
modified theorem nat.even.sub_even
modified theorem nat.even.sub_odd
modified theorem nat.even_add'
modified theorem nat.even_add
modified theorem nat.even_div
modified theorem nat.even_iff
modified theorem nat.even_iff_not_odd
modified theorem nat.even_mul
modified theorem nat.even_pow
modified theorem nat.even_sub'
modified theorem nat.even_sub
modified theorem nat.even_succ
modified theorem nat.mod_two_ne_one
modified theorem nat.mod_two_ne_zero
modified theorem nat.neg_one_pow_of_even
modified theorem nat.neg_one_pow_of_odd
modified theorem nat.neg_one_pow_two
modified theorem nat.not_even_iff
modified theorem nat.not_odd_iff
modified theorem nat.odd.add_even
modified theorem nat.odd.add_odd
modified theorem nat.odd.sub_even
modified theorem nat.odd.sub_odd
modified theorem nat.odd_add'
modified theorem nat.odd_add
modified theorem nat.odd_gt_zero
modified theorem nat.odd_iff
modified theorem nat.odd_iff_not_even
modified theorem nat.odd_sub'
modified theorem nat.odd_sub