[Merged by Bors] - feat: a cofinal set has a cofinal subset of order type (cof α).ord#39789
Closed
vihdzp wants to merge 9 commits into
Closed
[Merged by Bors] - feat: a cofinal set has a cofinal subset of order type (cof α).ord#39789vihdzp wants to merge 9 commits into
(cof α).ord#39789vihdzp wants to merge 9 commits into
Commits
Commits on May 25, 2026
- committed
- committed
- committed
- andauthored
- committed
