Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Limits.closedUnderLimitsOfShape_of_limit
Modification history
2025-02-26 09:05
Mathlib/CategoryTheory/Limits/FullSubcategory.lean
refactor(CategoryTheory): introduce ObjectProperty (#22286) …
Modified
CategoryTheory.Limits.closedUnderLimitsOfShape_of_limit
View on Github →
2024-11-13 21:29
Mathlib/CategoryTheory/Limits/FullSubcategory.lean
feat: the category of Ind-objects (#18881)
Added
CategoryTheory.Limits.closedUnderLimitsOfShape_of_limit
View on Github →