nightly#59 adaptations for nightly-2025-09-09

Stream: nightly-testing

[github mathlib4 bot]

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

[Kim Morrison]

All looks okay to me. There are some new nolint unusedArguments required for some defs created by deriving, but they are all linked to a tracking issue so I think they're okay.

[Kevin Buzzard]

Thanks for putting in all the links; should be easy to roll back when the issue is resolved.