Theorem CategoryTheory.Limits.hasColimitsOfShape_of_isSuccLimit

Modification history

2025-01-24 08:30
Mathlib/CategoryTheory/Limits/Shapes/Preorder/HasIterationOfShape.lean
feat(CategoryTheory): (co)limits indexed by preorders (#20335) …
Added CategoryTheory.Limits.hasColimitsOfShape_of_isSuccLimitView on Github →