Theorem CategoryTheory.ObjectProperty.congr_preservesColimit

Modification history

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