Theorem CategoryTheory.Limits.hasLimit_of_equivalence_comp

Modification history

2025-05-27 06:38
Mathlib/CategoryTheory/Limits/HasLimits.lean
feat(CategoryTheory/Functor): more API for pointwise Kan extensions (#22474) …
Added CategoryTheory.Limits.hasLimit_of_equivalence_compView on Github →