Theorem: AIG.toCNF.projectRightAssign_property (LeanSAT/AIG/CNF.lean)

State before:
aig✝ : AIG Nat
assign : aig✝.CNFVar → Bool
x : Nat
hx : x < aig✝.decls.size
⊢ projectRightAssign assign x hx = assign (Sum.inr ⟨x, hx⟩)
Tactic:
simp [projectRightAssign]
State after:
no goals