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

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