Theorem: Misc.Nat.odd_iff_not_even (LeanSAT/Util/Misc.lean)

State before:
n : Nat
⊢ Odd n ↔ ¬Even n
Tactic:
rw [not_even_iff, odd_iff]
State after:
no goals