Def CategoryTheory.Limits.getLimitCone

Modification history

2023-02-28 21:14

Mathlib/CategoryTheory/Limits/HasLimits.lean

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

Added CategoryTheory.Limits.getLimitCone View on Github →