Commits Commits on Jul 24, 2026 Show description for c89fc4b
Show description for 38b74e6
Show description for 44ea3a0
Show description for c6ef9d7
Show description for c8f8b4a
Show description for 3cb2241
Show description for 4756cbb
Show description for 587ae26
Show description for 27e661d
Show description for 16d467a
Show description for 014cbc3
Show description for 7529bd5
Show description for bd0b664
Show description for 0434c03
Show description for df12443
Show description for ba1004b
Show description for 5ffb4e1
Show description for dfa98dc
Show description for 309c870
Show description for 7f5175c
Show description for 8ab8444
Show description for a21131a
Show description for 32e89fb
Show description for 3b3581a
Show description for 26245e6
Show description for f61feab
Show description for e90415a
Show description for 9a281b3
Show description for 8fbdbdc
Show description for c07d30b
Commits on Jul 25, 2026 Show description for 3bc2a18
You can’t perform that action at this time.
![mathlib-splicebot[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}