Theorem: LeanSAT.Model.PropAssignment.setMany_not_mem (LeanSAT/Model/PropAssn.lean)

State before:
ν : Type u_1
inst✝ : DecidableEq ν
τ : PropAssignment ν
v : ν
xs : Finset ν
τ' : PropAssignment ν
h : v ∉ xs
⊢ setMany τ xs τ' v = τ v
Tactic:
simp [setMany, h]
State after:
no goals