Theorem CategoryTheory.Limits.hasLimitOfEquivalenceComp

Modification history

2025-05-27 06:38

Mathlib/CategoryTheory/Limits/HasLimits.lean

feat(CategoryTheory/Functor): more API for pointwise Kan extensions (#22474) …

Deleted CategoryTheory.Limits.hasLimitOfEquivalenceComp View on Github →

2023-02-28 21:14

Mathlib/CategoryTheory/Limits/HasLimits.lean

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

Added CategoryTheory.Limits.hasLimitOfEquivalenceComp View on Github →