Commit 2026-07-31 22:26 1f8806b6
View on Github →fix: adaptations for batteries #1927 (#42229) After [batteries#1927](https://github.com/leanprover-community/batteries/pull/1927) is merged:
- Merge leanprover-community/mathlib4:master
- Edit the lakefile to point to leanprover-community/batteries:main
- Run lake update batteries
- Wait for CI and merge