Commit 2026-06-03 17:41 e3f77114
View on Github →chore: deprecate Ordinal.IsAcc and Ordinal.IsClosedBelow (#39792)
These predicates were introduced in #16710 as preliminaries for a development of club sets. Those have since been defined without them, so we deprecate them, and generalize the results on them to the setting of successor orders.