Mathlib Changelog
v4
Changelog
About
Github
Theorem
SheafOfModules.add_val
Modification history
2024-06-10 19:57
Mathlib/Algebra/Category/ModuleCat/Sheaf.lean
feat: the category of sheaves of modules is abelian (#13455)
Added
SheafOfModules.add_val
View on Github →