Commit 2026-10-20 04:22 cc9f659b
View on Github →chore: update Mathlib dependencies 2026-10-20 (#45065) 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.