Def SheafOfModules.evaluation

Modification history

2024-04-30 15:37
Mathlib/Algebra/Category/ModuleCat/Sheaf.lean
feat(Algebra/Category/ModuleCat): the category of sheaves of modules has limits (#12269)
Added SheafOfModules.evaluationView on Github →