Commit 2024-07-20 12:42 fea01904

View on Github →

feat(CategoryTheory): pushout/pullback squares are stable by isomorphisms (#14890) The properties IsPushout and IsPullback are stable by isomorphisms.

Estimated changes

Modified Mathlib/CategoryTheory/Limits/Shapes/Pullback/CommSq.lean

added theorem CategoryTheory.IsPullback.of_iso

added theorem CategoryTheory.IsPushout.of_iso