Structure SheafOfModules.LocalGeneratorsData

Modification history

2024-07-01 13:36
Mathlib/Algebra/Category/ModuleCat/Sheaf/Generators.lean
feat: quasi-coherent sheaves (#13464) …
Added SheafOfModules.LocalGeneratorsDataView on Github →