Theorem CategoryTheory.IsPushout.preservesColimit_span_iff

Modification history

2026-05-20 14:58

Mathlib/CategoryTheory/Limits/Shapes/Pullback/IsPullback/Basic.lean

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

Added CategoryTheory.IsPushout.preservesColimit_span_iff View on Github →