Theorem CategoryTheory.IsPullback.preservesLimit_cospan_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.IsPullback.preservesLimit_cospan_iff View on Github →