Skip to content
Back to pull request #35050

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

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

Lint and suggest

Lint and suggest
succeeded Feb 16, 2026 in 2m 16s
⚡