Def CategoryTheory.Over.postAdjunctionLeft

Modification history

2025-10-10 06:53

Mathlib/CategoryTheory/Comma/Over/Pullback.lean

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

Modified CategoryTheory.Over.postAdjunctionLeft View on Github →

2025-04-28 07:13

Mathlib/CategoryTheory/Comma/Over/Pullback.lean

feat: sliced adjoint functors (#24388) …

Added CategoryTheory.Over.postAdjunctionLeft View on Github →