Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.ne_of_odd_add

Modification history

2021-04-19 09:07

src/data/int/parity.lean

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

Added int.ne_of_odd_add View on Github →