Theorem CategoryTheory.Localization.essSurj_mapArrow_of_hasLeftCalculusofFractions

Modification history

2024-06-04 08:15

Mathlib/CategoryTheory/Localization/CalculusOfFractions.lean

feat(CategoryTheory): localization of pretriangulated categories (#11738) …

Deleted CategoryTheory.Localization.essSurj_mapArrow_of_hasLeftCalculusofFractions View on Github →

2024-02-25 21:06

Mathlib/CategoryTheory/Localization/CalculusOfFractions.lean

feat(CategoryTheory/Localization): main results on left calculus of fractions (#10607) …

Added CategoryTheory.Localization.essSurj_mapArrow_of_hasLeftCalculusofFractions View on Github →