Def CategoryTheory.Under.mapPushoutAdj

Modification history

2025-10-10 06:53

Mathlib/CategoryTheory/Comma/Over/Pullback.lean

refactor: weaken HasPullbacks to HasPullback in Over.Pullback (#29795) …

Modified CategoryTheory.Under.mapPushoutAdj View on Github →

2024-07-17 18:39

Mathlib/CategoryTheory/Adjunction/Over.lean

deduplicate pullback and baseChange (#14519) …

Added CategoryTheory.Under.mapPushoutAdj View on Github →