Theorem CategoryTheory.Limits.HasColimit.isoOfEquivalence_inv_π

Modification history

2026-05-26 16:16

Mathlib/CategoryTheory/Limits/HasLimits.lean

chore(CategoryTheory/Limits): fix name of `HasColimit.isoOfEquivalence_hom_π` and `reassoc` (#39817)

Deleted CategoryTheory.Limits.HasColimit.isoOfEquivalence_inv_π View on Github →

2023-02-28 21:14

Mathlib/CategoryTheory/Limits/HasLimits.lean

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

Added CategoryTheory.Limits.HasColimit.isoOfEquivalence_inv_π View on Github →