Theorem CategoryTheory.NonPreadditiveAbelian.neg_add_self

Modification history