nightly#34 adaptations for nightly-2025-08-13

Stream: nightly-testing

[github mathlib4 bot]

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

[Kim Morrison]

I've fixed up a few things, and this now looks good to me.

[Kim Morrison]

I'll be started the release, turning nightly-2025-08-13 into v4.23.0-rc1, shortly.