Def SheafOfModules.Presentation.mapGenerators

Modification history

2026-06-03 16:18
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat(Algebra/CategoryTheory/ModuleCat): Locally Free Sheaves (#39399) …
Deleted SheafOfModules.Presentation.mapGeneratorsView on Github →
2025-12-18 09:28
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat(Algebra/Category/ModuleCat/Sheaf/Quasicoherent): construction of `Presentation` (#32437) …
Added SheafOfModules.Presentation.mapGeneratorsView on Github →