Commit 2025-11-22 00:43 b3cf7a02

View on Github →

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

Estimated changes