feat(CategoryTheory/Limits/Shapes/Preorder): principal segments#21055
Open
joelriou wants to merge 13 commits intomasterfrom colimits-preorder-segments
+195-31
Commits
Commits on Jan 26, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed