Theorem: CNF.unsat_relabel (LeanSAT/Reflect/CNF/Relabel.lean)

State before:
α β : Type
x : CNF α
f : α → β
h : x.unsat
⊢ (relabel f x).unsat
Tactic:
simp_all [unsat]
State after:
no goals