Skip to content
Back to pull request #35050

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

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} #9840

Verify Transient and Automated Commits

Verify Transient and Automated Commits
succeeded Feb 16, 2026 in 42s
⚡