Skip to content
Back to pull request #35050

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

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

main

main
succeeded Feb 16, 2026 in 22s
⚡