Theorem: Nat.not_isOdd_eq_isEven (GMLInit/Data/Nat/Coding/Sum.lean)

State before:
n : Nat
⊢ (!n.isOdd) = n.isEven
Tactic:
rw [Bool.not_not]
State after:
no goals