Theorem CategoryTheory.Limits.pushout.inr_codiagonal

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.inr_codiagonalView on Github →