chore: Simplify `is_ordered_categorical`#2618

Merged

MarcoGorelli merged 9 commits intomainfrom

simp-is-ordered-categorical

Jun 3, 2025

Commits on May 27, 2025

Merge branch 'main' into simp-is-ordered-categorical
dangotbanned
authored

Commits on May 31, 2025

Merge branch 'main' into simp-is-ordered-categorical
dangotbanned
authored

Commits on Jun 2, 2025

Merge branch 'main' into simp-is-ordered-categorical
dangotbanned
authored

Commits on Jun 3, 2025

Merge branch 'main' into simp-is-ordered-categorical
dangotbanned
authored