mathlib
10343579 - feat(data/int/parity): not_even_iff (#1694)

Commit
6 years ago
feat(data/int/parity): not_even_iff (#1694)
Author
Committer
Parents
Loading