Skip to content

feat(CategoryTheory/Limits/Shapes/Preorder): principal segments #56600

feat(CategoryTheory/Limits/Shapes/Preorder): principal segments

feat(CategoryTheory/Limits/Shapes/Preorder): principal segments #56600

Annotations

1 warning

label-and-report-new-contributor

succeeded Jan 26, 2025 in 9s