Mathlib Changelog
v4
Changelog
About
Github
Structure
SheafOfModules.Presentation
Modification history
2025-10-28 15:18
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
chore(AlgebraicGeometry): make SheafOfModule.IsQuasicoherent an ObjectProperty and clean up of finiteness conditions (#30372) …
Modified
SheafOfModules.Presentation
View on Github →
2024-07-01 13:36
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat: quasi-coherent sheaves (#13464) …
Added
SheafOfModules.Presentation
View on Github →