Mathlib Changelog
v4
Changelog
About
Github
Structure
SheafOfModules.Hom
Modification history
2024-04-18 05:39
Mathlib/Algebra/Category/ModuleCat/Sheaf.lean
feat: the category of sheaves of modules (#11479) …
Added
SheafOfModules.Hom
View on Github →