Commit 2025-09-23 10:09 2d15b8f5

View on Github →

chore: update Mathlib dependencies 2025-09-23 (#29905) This PR updates the Mathlib dependencies.

Estimated changes