Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.even_or_odd

Modification history

2020-11-21 20:09
src/data/nat/parity.lean
feat(data/nat/parity): lemmas about (-1)^n (#5056) …
Added nat.even_or_oddView on Github →