nightly#88 adaptations for nightly-2025-10-12

Stream: nightly-testing

[github mathlib4 bot]

chore: adaptations for nightly-2025-10-12 nightly#88 Please review this PR. At the next toolchain release this diff will land in 'master'.

[Kevin Buzzard]

See discussion at #nightly-testing > nightly#87 adaptations for nightly-2025-10-11 @ 💬 which is a triviality holding up everything.

[Markus Himmel]

I have removed the nolint on the nightly-testing branch now, so when the diff for nightly-2025-10-13 shows up in a few hours it will be gone.