Theorem CategoryTheory.Localization.Preadditive.add'_left_neg'

Modification history