Def CategoryTheory.Limits.evaluationJointlyReflectsColimits

Modification history

2023-03-02 11:55

Mathlib/CategoryTheory/Limits/FunctorCategory.lean

feat: port/CategoryTheory.Limits.FunctorCategory (#2380)

Added CategoryTheory.Limits.evaluationJointlyReflectsColimits View on Github →