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

State before:
ν : Type u_1
inst✝ : DecidableEq ν
τ : PropAssignment ν
x : ν
v : Bool
⊢ set τ x v x = v
Tactic:
simp [set]
State after:
no goals