Theorem: CNF.Clause.relabel_id' (LeanSAT/Reflect/CNF/Relabel.lean)

State before:
α : Type
⊢ relabel id = id
Tactic:
funext
State after:
case h
α : Type
x✝ : Clause α
⊢ relabel id x✝ = id x✝

State before:
case h
α : Type
x✝ : Clause α
⊢ relabel id x✝ = id x✝
Tactic:
simp [relabel]
State after:
no goals