Theorem CategoryTheory.CostructuredArrow.isClosedUnderColimitsOfShape

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Limits/MorphismProperty.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.CostructuredArrow.isClosedUnderColimitsOfShapeView on Github →
2025-12-03 12:21
Mathlib/CategoryTheory/Limits/MorphismProperty.lean
feat(AlgebraicGeometry): locally directed colimits in `P.Over ⊤ S` (#30140) …
Added CategoryTheory.CostructuredArrow.isClosedUnderColimitsOfShapeView on Github →