Commit 2025-12-11 19:56 bf0f8474
View on Github →chore(*): adaptations for batteries#1545 (#32581) After [batteries#1545](https://github.com/leanprover-community/batteries/pull/1545) 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