nightly#154 adaptations for nightly-2026-01-02

Stream: nightly-testing

[github mathlib4 bot]

chore: adaptations for nightly-2026-01-02 nightly#154 Please review this PR. At the next toolchain release this diff will land in 'master'.

[Kevin Buzzard]

Screenshot from 2026-01-04 22-18-35.png

as ever.

[Bryan Gin-ge Chen]

Unfortunately that doesn't seem to have the commit with linter tracing turned on; maybe tomorrow!