nightly#100 adaptations for nightly-2025-10-28

Stream: nightly-testing

[github mathlib4 bot]

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

[Kim Morrison]

After merging nightly#99, the only changes here are the fallout from #nightly-testing > Mathlib status updates @ 💬 , described in adaptation notes, and a fix is already on the way.

[Kim Morrison]

So I'll merge this.

[Kim Morrison]

Or rather, , as it needs CI re-run after merging nightly#99 in.