fix: refine how `simp` tracks unfolded local definitions#8753

kmill merged 2 commits intoleanprover:masterleanprover/lean4:masterfrom

kmill:kmill_trackzeta_reentrantkmill/lean4:kmill_trackzeta_reentrantCopy head branch name to clipboard