Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-04 01:38 051dffa5

View on Github →

refactor(data/nat/parity): nat.even_succ -> nat.even_add_one (#14917) Change nat.even_succ to be analogous to int.even_add_one.

Estimated changes

Modified archive/100-theorems-list/70_perfect_numbers.lean

Modified src/algebra/geom_sum.lean

Modified src/analysis/special_functions/log/deriv.lean

Modified src/data/nat/parity.lean

added theorem nat.even_add_one

deleted theorem nat.even_succ