Theorem CategoryTheory.Limits.hasColimitsOfShape_of_isSuccLimit'

Modification history

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