Def CategoryTheory.Under.mapPushoutAdj

Modification history

2024-07-17 18:39
Mathlib/CategoryTheory/Adjunction/Over.lean
deduplicate pullback and baseChange (#14519) …
Added CategoryTheory.Under.mapPushoutAdjView on Github →