Theorem SheafOfModules.GeneratingSections.map_π_eq

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.map_π_eqView on Github →