Theorem CategoryTheory.NonPreadditiveAbelian.diag_σ

Modification history