Theorem: LeanSAT.Encode.EncCNF.LawfulState.vMap_withTemps (LeanSAT/Encode/EncCNF.lean)

State before:
ν : Type u_1
n : ℕ
s : LawfulState ν
⊢ (withTemps s).vMap = State.withTemps.vMap s.toState
Tactic:
simp [LawfulState.withTemps, State.withTemps]
State after:
no goals