ext v
ν : Type u_1
inst✝ : DecidableEq ν
τ : PropAssignment ν
xs : Finset ν
⊢ setMany τ xs τ = τ
case h
ν : Type u_1
inst✝ : DecidableEq ν
τ : PropAssignment ν
xs : Finset ν
v : ν
⊢ setMany τ xs τ v = τ v