Theorem CategoryTheory.Limits.closedUnderLimitsOfShape_of_limit

Modification history

2025-10-27 09:15
Mathlib/CategoryTheory/Limits/FullSubcategory.lean
refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape (#29881) …
Deleted CategoryTheory.Limits.closedUnderLimitsOfShape_of_limitView on Github →
2025-02-26 09:05
Mathlib/CategoryTheory/Limits/FullSubcategory.lean
refactor(CategoryTheory): introduce ObjectProperty (#22286) …
Modified CategoryTheory.Limits.closedUnderLimitsOfShape_of_limitView on Github →
2024-11-13 21:29
Mathlib/CategoryTheory/Limits/FullSubcategory.lean
feat: the category of Ind-objects (#18881)
Added CategoryTheory.Limits.closedUnderLimitsOfShape_of_limitView on Github →