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