Theorem CategoryTheory.Limits.hasColimit_iff_of_iso

Modification history

2026-08-02 09:28
Mathlib/CategoryTheory/Limits/HasLimits.lean
chore(CategoryTheory/Limits/HasLimit): use `to_dual` (#41017) …
Deleted CategoryTheory.Limits.hasColimit_iff_of_isoView on Github →
2025-03-04 05:26
Mathlib/CategoryTheory/Limits/HasLimits.lean
chore(CategoryTheory): fix hasLimitOfIso (#22514) …
Added CategoryTheory.Limits.hasColimit_iff_of_isoView on Github →