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

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