Merge master into nightly-testing

chore(RingTheory/LocalRing/ResidueField/Ideal): increase `simp` prio,…

… analogous to leanprover-community#22215

chore: bump to nightly-2025-03-06

fix?

chore: bump toolchain to v4.18.0-rc1 (leanprover-community#22500)

This PR merges `bump/v4.18.0` into `master`.

Co-authored-by: Johan Commelin <[email protected]>

chore: bump toolchain to v4.17.0 (leanprover-community#22494)

Co-authored-by: Eric Wieser <[email protected]>

remove upstreamed

Merge branch 'nightly-testing' of github.com:leanprover-community/mat…

…hlib4 into nightly-testing

fix

chore: bump to nightly-2025-02-27