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.Limits.preservesLimitsOfShape_walkingCospan_of_forall_isPullback