Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Under.postAdjunctionRight
Modification history
2025-04-28 07:13
Mathlib/CategoryTheory/Comma/Over/Pullback.lean
feat: sliced adjoint functors (#24388) …
Added
CategoryTheory.Under.postAdjunctionRight
View on Github →