chore: adapt to lean4#10526#74

thorimur wants to merge 1 commit intoleanprover-community:lean-pr-testing-10526leanprover-community/mathlib4-nightly-testing:lean-pr-testing-10526from

thorimur:lean-pr-testing-10526-adaptthorimur/mathlib4:lean-pr-testing-10526-adaptCopy head branch name to clipboard