Theorem: AIG.toCNF.State.unsat_eq (LeanSAT/AIG/CNF.lean)

State before:
aig✝ : AIG Nat
state : State aig✝
⊢ state.unsat = state.cnf.unsat
Tactic:
simp [State.unsat]
State after:
no goals