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

State before:
aig✝ : AIG Nat
state : State aig✝
assign : aig✝.CNFVar → Bool
⊢ state.sat assign = state.cnf.sat assign
Tactic:
simp [State.sat]
State after:
no goals