Def PrincipalSeg.cocone

Modification history

2025-02-02 20:52
Mathlib/CategoryTheory/Limits/Shapes/Preorder/PrincipalSeg.lean
feat(CategoryTheory/Limits/Shapes/Preorder): principal segments (#21055) …
Added PrincipalSeg.coconeView on Github →