Theorem CategoryTheory.NonPreadditiveAbelian.add_neg_self

Modification history