Def CategoryTheory.Limits.limYoneda

Modification history

2023-02-28 21:14

Mathlib/CategoryTheory/Limits/HasLimits.lean

feat: port/CategoryTheory.Limits.HasLimits (#2368)

Added CategoryTheory.Limits.limYoneda View on Github →