Theorem CategoryTheory.Localization.functor_additive_iff

Modification history

2025-12-13 14:21
Mathlib/CategoryTheory/Localization/CalculusOfFractions/Preadditive.lean
chore: use `Category*` everywhere (#32842) …
Modified CategoryTheory.Localization.functor_additive_iffView on Github →
2024-06-06 14:57
Mathlib/CategoryTheory/Localization/CalculusOfFractions/Preadditive.lean
feat(CategoryTheory): localization of triangulated categories (#11786) …
Added CategoryTheory.Localization.functor_additive_iffView on Github →