Commit 2024-11-29 08:51 1426b9e5

View on Github →

chore: update Mathlib dependencies 2024-11-29 (#19598) This PR updates the Mathlib dependencies.

Estimated changes