Theorem CategoryTheory.MorphismProperty.pushoutDesc_inl_inr

Modification history

2026-03-27 11:45
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
chore(CategoryTheory/MorphismProperty): dualise `IsStableUnderBaseChangeAlong` and related declarations (#36900) …
Added CategoryTheory.MorphismProperty.pushoutDesc_inl_inrView on Github →