Commit 2026-10-01 22:59 25730c7c
View on Github →chore: update Mathlib dependencies 2026-10-01 (#44386) 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.