Commit 2026-10-02 16:27 0272bbe1
View on Github →chore: update Mathlib dependencies 2026-10-02 (#44416) This PR updates the Mathlib dependencies. It is not merged automatically: a maintainer should look at what the new dependency revisions bring in before sending it to bors.