Theorem CategoryTheory.Adjunction.isLocalization_leftAdjoint'

Modification history

2025-07-03 11:52
Mathlib/CategoryTheory/Localization/CalculusOfFractions/OfAdjunction.lean
feat(CategoryTheory/Localization): generalize results about adjunctions (#26365) …
Added CategoryTheory.Adjunction.isLocalization_leftAdjoint'View on Github →