Commit 2026-01-06 22:31 d5f32c1a
View on Github →chore: adaptations for batteries#1588 (#33681) After [batteries#1588](https://github.com/leanprover-community/batteries/pull/1588) 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