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

Closed

j-loreaux wants to merge 13 commits intoleanprover-community:masterfrom

j-loreaux:CCPO-convergence

Commits on Feb 11, 2026

update module documentation
j-loreaux
committed

Commits on Feb 13, 2026

⚡