[Backport releases/v4.25.0] fix: Meta.Closure: topologically sort abstracted vars#11015

kim-em merged 1 commit intoreleases/v4.25.0leanprover/lean4:releases/v4.25.0from

backport-10926-to-releases/v4.25.0leanprover/lean4:backport-10926-to-releases/v4.25.0Copy head branch name to clipboard