Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.ne_of_odd_add

Modification history

2021-04-19 09:07

src/data/nat/parity.lean

feat(data/{int, nat}/parity): rename `ne_of_odd_sum` (#7261) …

Added nat.ne_of_odd_add View on Github →