[Merged by Bors] - chore: deprecate Ordinal.IsAcc and Ordinal.IsClosedBelow#39792

vihdzp wants to merge 10 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

vihdzp:easypickvihdzp/mathlib4:easypickCopy head branch name to clipboard