Def CategoryTheory.Limits.lim

Modification history

2023-02-28 21:14

Mathlib/CategoryTheory/Limits/HasLimits.lean

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

Added CategoryTheory.Limits.lim View on Github →