Theorem CategoryTheory.MorphismProperty.underPushoutMap

Modification history

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