[Merged by Bors] - chore: use x + 1 instead of succ x in Ordinal.limitRecOn#39648
Closed
vihdzp wants to merge 1 commit into
Closed
[Merged by Bors] - chore: use x + 1 instead of succ x in Ordinal.limitRecOn#39648vihdzp wants to merge 1 commit into
x + 1 instead of succ x in Ordinal.limitRecOn#39648vihdzp wants to merge 1 commit into
