Theorem SheafOfModules.free.generatingSections_π

Modification history

2026-06-03 16:18
Mathlib/Algebra/Category/ModuleCat/Sheaf/LocallyFree.lean
feat(Algebra/CategoryTheory/ModuleCat): Locally Free Sheaves (#39399) …
Added SheafOfModules.free.generatingSections_πView on Github →