Def SheafOfModules.Presentation.quasicoherentData

Modification history

2026-02-11 08:51
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat(AlgebraicGeometry): Presentation.isQuasicoherent (#34282) …
Added SheafOfModules.Presentation.quasicoherentDataView on Github →