Skip to content

[codex] Add finset supremum and infimum convergence lemmas#8

Draft
CoolRmal wants to merge 25 commits into
mainfrom
codex/tendsto-finset-sup-isup
Draft

[codex] Add finset supremum and infimum convergence lemmas#8
CoolRmal wants to merge 25 commits into
mainfrom
codex/tendsto-finset-sup-isup

Fix generated ciInf theorem name

7602123
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
main
succeeded Jun 14, 2026 in 17s