Theorem CategoryTheory.MorphismProperty.pushoutMap

Modification history

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