Commit 2026-10-20 01:05 b6161c3a
View on Github →chore: update Mathlib dependencies 2026-10-20 (#45060) 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.