Theorem: Option.isNone_false_iff_isSome (Etch/Verification/Misc.lean)

State before:
α : Type u_1
x : Option α
⊢ isNone x = false ↔ isSome x = true
Tactic:
cases x <;> simp
State after:
no goals