[codex] Add finset supremum and infimum convergence lemmas - #8
Draft
CoolRmal wants to merge 1303 commits into
Draft
[codex] Add finset supremum and infimum convergence lemmas#8CoolRmal wants to merge 1303 commits into
CoolRmal wants to merge 1303 commits into
Commits
This pull request is big! We're only showing the most recent 250 commits
Commits on Jul 28, 2026
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 29, 2026
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
![mathlib-update-dependencies[bot]](https://avatars.githubusercontent.com/u/41703605?v=4&size=32){kind=avatar}
Commits on Jul 30, 2026
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}
Commits on Jul 31, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
Commits on Aug 1, 2026
- andcommitted
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 2, 2026
- committed
- committed
- committed
- committed
- andcommitted
Commits on Aug 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 4, 2026
- committed
- committed
- andcommitted
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
Commits on Aug 5, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- committed
- andcommitted
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
Commits on Aug 7, 2026
- committed
- andcommitted
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
Commits on Aug 8, 2026
Commits on Aug 9, 2026
Commits on Aug 10, 2026
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
Commits on Aug 11, 2026
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- andcommitted
- andcommitted
- andauthored
- andauthored
- andauthored
- andauthored
- authored
- authored
- authored
