Def CategoryTheory.Under.postAdjunctionLeft

Modification history

2025-04-28 07:13
Mathlib/CategoryTheory/Comma/Over/Basic.lean
feat: sliced adjoint functors (#24388) …
Added CategoryTheory.Under.postAdjunctionLeftView on Github →