Theorem: AIG.relabelNat'_fst_eq_relabelNat (LeanSAT/AIG/RelabelNat.lean)

State before:
α : Type
inst✝¹ : BEq α
inst✝ : Hashable α
aig : AIG α
⊢ aig.relabelNat'.fst = aig.relabelNat
Tactic:
rfl
State after:
no goals