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

State before:
α : Type
assign : α → Bool
⊢ sat [] assign ↔ True
Tactic:
simp [sat]
State after:
no goals