Theorem: AIG.relabelNat_size_eq_size (LeanSAT/AIG/RelabelNat.lean)

State before:
α : Type
inst✝¹ : BEq α
inst✝ : Hashable α
aig : AIG α
⊢ aig.relabelNat.decls.size = aig.decls.size
Tactic:
simp [relabelNat, relabelNat']
State after:
no goals