Theorem: CNF.not_mem_nil (LeanSAT/Reflect/CNF/Basic.lean)

State before:
α : Type
a : α
⊢ mem a [] ↔ False
Tactic:
simp [mem]
State after:
no goals