Commit 2025-01-30 03:59 14589bd7

View on Github →

chore: update Mathlib dependencies 2025-01-30 (#21247) This PR updates the Mathlib dependencies.

Estimated changes

deleted def Int.testBit