Mathlib Changelog
v4
Changelog
About
Github
Structure
SheafOfModules.LocalGeneratorsData
Modification history
2024-07-01 13:36
Mathlib/Algebra/Category/ModuleCat/Sheaf/Generators.lean
feat: quasi-coherent sheaves (#13464) …
Added
SheafOfModules.LocalGeneratorsData
View on Github →