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

State before:
aig : AIG Nat
assign1 : Nat → Bool
x : Nat
⊢ cnfSatAssignment aig assign1 (Sum.inl x) = assign1 x
Tactic:
simp [cnfSatAssignment, mixAssigns]
State after:
no goals