Theorem CategoryTheory.Square.IsPushout.unop

Modification history

2024-07-30 16:14

Mathlib/CategoryTheory/Limits/Shapes/Pullback/Square.lean

feat(CategoryTheory): preservation of pullback/pushout squares (#15044) …

Added CategoryTheory.Square.IsPushout.unop View on Github →