Structure SheafOfModules.QuasicoherentData

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.QuasicoherentDataView on Github →
2024-07-01 13:36
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat: quasi-coherent sheaves (#13464) …
Added SheafOfModules.QuasicoherentDataView on Github →