Theorem CategoryTheory.Localization.Preadditive.neg'_add'_self

Modification history