Theorem CategoryTheory.IsPushout.unop_iff

Modification history

2026-02-18 23:09
Mathlib/CategoryTheory/Limits/Shapes/Pullback/IsPullback/Defs.lean
chore(CategoryTheory/Limits): dualize (parts of) `pullback.diagonal` (#35454) …
Added CategoryTheory.IsPushout.unop_iffView on Github →