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.QuasicoherentData.localGeneratorsData