Theorem SheafOfModules.Presentation.isQuasicoherent

Modification history

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