Theorem SheafOfModules.LocalGeneratorsData.isLocallyFree

Modification history

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