Theorem CategoryTheory.ObjectProperty.preservesLimitsOfShape_eq_iSup

Modification history

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