2025-07-03 11:52
Mathlib/CategoryTheory/Localization/CalculusOfFractions/OfAdjunction.lean
feat(CategoryTheory/Localization): generalize results about adjunctions (#26365) …
Added CategoryTheory.Adjunction.functorCategory_inverseImage_isomorphisms_unit