Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-17 15:38 10343579

View on Github →

feat(data/int/parity): not_even_iff (#1694)

Estimated changes

added theorem int.not_even_iff
added theorem nat.not_even_iff