Theorem CategoryTheory.Limits.pushout.isIso_codiagonal_iff

Modification history

2026-02-18 23:09
Mathlib/CategoryTheory/Limits/Shapes/Diagonal.lean
chore(CategoryTheory/Limits): dualize (parts of) `pullback.diagonal` (#35454) …
Added CategoryTheory.Limits.pushout.isIso_codiagonal_iffView on Github →