Theorem: LeanSAT.Encode.EncCNF.State.cnf_withTemps (LeanSAT/Encode/EncCNF.lean)

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