Commit 2025-10-28 15:18 d7739e45
View on Github →chore(AlgebraicGeometry): make SheafOfModule.IsQuasicoherent an ObjectProperty and clean up of finiteness conditions (#30372)
We introduce isQuasicoherent as an ObjectProperty (SheafOfModules _) (and similarly for isFinitePresentation). The basic API also undergoes some cleaning up.