Theorem CategoryTheory.Limits.preservesColimit_iff_of_iso_diagram

Modification history

2026-10-24 14:19
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
chore(CategoryTheory/Limits/Preserves/Basic): use `to_dual` (#44647) …
Deleted CategoryTheory.Limits.preservesColimit_iff_of_iso_diagramView on Github →
2026-05-24 17:27
Mathlib/CategoryTheory/Limits/Preserves/Basic.lean
feat(Algebra/Category/Ring): `Under.pushout` preserves finite limits for properties with stable equalizers (#39572) …
Added CategoryTheory.Limits.preservesColimit_iff_of_iso_diagramView on Github →