Theorem CategoryTheory.NonPreadditiveAbelian.add_neg_cancel

Modification history