chore(*): bump to lean-3.13.1 (#2697)
## Move algebra to mathlib
The algebraic hierarchy has moved from the core library to `init_`. In later PRs this can be integrated into the existing directory structure of mathlib.
Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
