Theorem CategoryTheory.MonoidalCategory.Arrow.PushoutProduct.hasLiftingProperty_mk_isTerminal_iff
Modification history
2026-04-27 21:20
Mathlib/CategoryTheory/LiftingProperties/PushoutProduct.lean
feat(CategoryTheory/Monoidal/PushoutProduct): isomorphisms and lifting properties of pushout-products (#37198) …
Added CategoryTheory.MonoidalCategory.Arrow.PushoutProduct.hasLiftingProperty_mk_isTerminal_iffView on Github →