Theorem CategoryTheory.ObjectProperty.preservesColimit_iff

Modification history

2025-12-11 06:55
Mathlib/CategoryTheory/ObjectProperty/FunctorCategory/PreservesLimits.lean
feat(CategoryTheory): more preservation properties of functors (#32423) …
Added CategoryTheory.ObjectProperty.preservesColimit_iffView on Github →