[Merged by Bors] - feat: generalize some results for SupConvergenceClass to ConditionallyCompletePartialOrder{Sup,Inf}
#41962
| Job | Run time |
|---|---|
| -9s | |
| -9s |