Sync upstream mathlib4 (2026-08-05, +12 commits) - #95
Open
winstonyin-ax wants to merge 13 commits into
Open
winstonyin-ax wants to merge 13 commits into
winstonyin-ax wants to merge 13 commits into
Commits
Commits on Aug 4, 2026
- committed
- committed
- andcommitted
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
![mathlib-splicebot[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}