Commit 2026-02-13 22:13 6886144b
View on Github →chore: adaptations for batteries#1589 (#35271) After [batteries#1589](https://github.com/leanprover-community/batteries/pull/1589) 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