Theorem CategoryTheory.Adjunction.hasLeftCalculusOfFractions

Modification history

2025-07-03 11:52
Mathlib/CategoryTheory/Localization/CalculusOfFractions/OfAdjunction.lean
feat(CategoryTheory/Localization): generalize results about adjunctions (#26365) …
Modified CategoryTheory.Adjunction.hasLeftCalculusOfFractionsView on Github →
2025-04-28 01:46
Mathlib/CategoryTheory/Localization/CalculusOfFractions/OfAdjunction.lean
feat(CategoryTheory/Localization): the calculus of fractions that is deduced from an adjunction (#22748) …
Added CategoryTheory.Adjunction.hasLeftCalculusOfFractionsView on Github →