Theorem CategoryTheory.NonPreadditiveAbelian.neg_add_cancel

Modification history