Commit 2025-02-02 20:52 5c57f971
View on Github →feat(CategoryTheory/Limits/Shapes/Preorder): principal segments (#21055) In the study of well order continuous functors, we now use the initial/principal segment API from order theory.
feat(CategoryTheory/Limits/Shapes/Preorder): principal segments (#21055) In the study of well order continuous functors, we now use the initial/principal segment API from order theory.