Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-30 15:37
fbdfab90
View on Github →
feat(Algebra/Category/ModuleCat): the category of sheaves of modules has limits (
#12269
)
Estimated changes
Modified
Mathlib.lean
Modified
Mathlib/Algebra/Category/ModuleCat/Sheaf.lean
added
def
SheafOfModules.evaluation
Created
Mathlib/Algebra/Category/ModuleCat/Sheaf/Limits.lean
added
theorem
PresheafOfModules.isSheaf_of_isLimit