Theorem CategoryTheory.Localization.Preadditive.add'_zero

Modification history

2024-04-18 09:26

Mathlib/CategoryTheory/Localization/CalculusOfFractions/Preadditive.lean

feat(CategoryTheory/Localization): the localized category is preadditive (#11728) …

Added CategoryTheory.Localization.Preadditive.add'_zero View on Github →