Def PresheafOfModules.evaluationJointlyReflectsLimits

Modification history

2024-04-20 20:51

Mathlib/Algebra/Category/ModuleCat/Presheaf/Limits.lean

feat(Algebra/Category/ModuleCat): the category of presheaves of modules has limits (#12264)

Added PresheafOfModules.evaluationJointlyReflectsLimits View on Github →