chore: update mathlib nightly 2024-20-25

[tobiasgrosser]

This PR does a lot more than updating mathlib.

I suggest separate PRs:

• Update mathlib only for lean-mlir
• Then create a PR for Leanwuzla's sdiv support and get it merged to Leanwuzla.
• Update Leanwuzla
• Whatever else is needed

[luisacicolini]

Yes sorry I thought I was only updating mathlib. I will close this PR and open a new one for mathlib only.

[tobiasgrosser]

All great. Thank you for tackling so many things.

[github-actions[bot]]

Alive Statistics: 89 / 93 (4 failed)