nightly#142 adaptations for nightly-2025-12-13

Stream: nightly-testing

[Kim Morrison]

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

[Kim Morrison]

Okay, except for the addition in Mathlib/Analysis/CStarAlgebra/ContinuousFunctionalCalculus/NonUnital.lean which I'm investigating, this looks good to me.

If anyone is available to look at this quickly, I would be much appreciative, as I would like to do the release process in the next few hours and will need this.

[Kim Morrison]