Theorem CategoryTheory.Limits.PreservesColimit.mk'

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.mk'View on Github →

2026-05-20 14:58

Mathlib/CategoryTheory/Limits/Preserves/Basic.lean

chore(CategoryTheory/Limits): preservation of pullbacks in terms of `IsPullback` (#39595)

Added CategoryTheory.Limits.PreservesColimit.mk'View on Github →