Skip to content
Back to pull request #35050

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf} #270435

Sign in to view logs

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf}

[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf} #270435

ci (fork)  /  Upload to cache

ci (fork) / Upload to cache
succeeded Feb 16, 2026 in 46s
⚡