Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.even_add_one

Modification history

2022-07-04 01:38
src/data/nat/parity.lean
refactor(data/nat/parity): `nat.even_succ` -> `nat.even_add_one` (#14917) …
Added nat.even_add_oneView on Github →