Theorem CategoryTheory.NonPreadditiveAbelian.neg_neg

Modification history