Theorem CategoryTheory.MorphismProperty.LeftFraction₂.map_add

Modification history

2024-06-06 14:57
Mathlib/CategoryTheory/Localization/CalculusOfFractions/Preadditive.lean
feat(CategoryTheory): localization of triangulated categories (#11786) …
Added CategoryTheory.MorphismProperty.LeftFraction₂.map_addView on Github →