Theorem CategoryTheory.ObjectProperty.IsClosedUnderColimitsOfShape.mk'

Modification history

2025-10-27 09:15
Mathlib/CategoryTheory/ObjectProperty/ColimitsOfShape.lean
refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape (#29881) …
Added CategoryTheory.ObjectProperty.IsClosedUnderColimitsOfShape.mk'View on Github →