Commit 2025-11-07 00:17 2d2ad36a
View on Github →chore: adaptations for batteries#1491 (#31334) After [batteries#1491](https://github.com/leanprover-community/batteries/pull/1491) is merged:
- Edit the lakefile to point to leanprover-community/batteries:main
- Run lake update batteries
- Merge leanprover-community/mathlib4:master
- Wait for CI and merge