Def CategoryTheory.NonPreadditiveAbelian.isColimitσ

Modification history