Theorem: LeanSAT.Model.PropFun.satisfies_set (LeanSAT/Model/PropFun.lean)

State before:
ν : Type u_1
x : ν
τ : PropAssignment ν
inst✝ : DecidableEq ν
⊢ PropAssignment.set τ x ⊤ ⊨ var x
Tactic:
simp
State after:
no goals