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

State before:
aig✝ : AIG Nat
assign : aig✝.CNFVar → Bool
x : Nat
⊢ projectLeftAssign assign x = assign (Sum.inl x)
Tactic:
simp [projectLeftAssign]
State after:
no goals