Def SheafOfModules.GeneratingSections.map

Modification history

2026-06-03 16:18
Mathlib/Algebra/Category/ModuleCat/Sheaf/Generators.lean
feat(Algebra/CategoryTheory/ModuleCat): Locally Free Sheaves (#39399) …
Added SheafOfModules.GeneratingSections.mapView on Github →