Commit 2025-11-14 17:31 2b519a33

View on Github →

chore: update Mathlib dependencies 2025-11-14 (#31627) This PR updates the Mathlib dependencies.

Estimated changes