fix: more stable eager lambda lifting heuristic#11010

hargoniX merged 1 commit intomasterleanprover/lean4:masterfrom

hbv/eager_lambda_liftleanprover/lean4:hbv/eager_lambda_liftCopy head branch name to clipboard