Theorem CategoryTheory.NonPreadditiveAbelian.add_neg

Modification history