Theorem CategoryTheory.Limits.HasColimit.ι_isoOfEquivalence_inv

Modification history

2026-09-07 10:31
Mathlib/CategoryTheory/Limits/HasLimits.lean
chore(CategoryTheory/Limits/HasLimits): use `to_dual` more (#42872) …
Deleted CategoryTheory.Limits.HasColimit.ι_isoOfEquivalence_invView on Github →
2026-05-26 16:16
Mathlib/CategoryTheory/Limits/HasLimits.lean
chore(CategoryTheory/Limits): fix name of `HasColimit.isoOfEquivalence_hom_π` and `reassoc` (#39817)
Added CategoryTheory.Limits.HasColimit.ι_isoOfEquivalence_invView on Github →