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

State before:
n : Nat
⊢ ¬Odd n ↔ Even n
Tactic:
rw [odd_iff_not_even, Classical.not_not]
State after:
no goals